Skip to content

Fixing Datastructure issues #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Jclavo wants to merge 3 commits into
base: develop
Choose a base branch
from
Draft

Fixing Datastructure issues #16

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
3b1eb1a
to-do for method isValidContext
Jclavo Nov 6, 2025
3bd23e3
improvements from datastructure tests
Jclavo Nov 6, 2025
dd9e093
Merge branch 'develop' of https://github.com/PAMunb/svfa into task/da…
Jclavo Nov 6, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 14 additions & 1 deletion ...s/securibench/src/test/scala/br/unb/cic/securibench/deprecated/SecuribenchTestSuite.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -955,7 +955,7 @@ class SecuribenchTestSuite extends FunSuite {
assert(svfa.reportConflictsSVG().size == expectedConflicts)
}

ignore(
test(
"in the class Datastructures4 we should detect 0 conflict of a simple data structure test case"
) {
val testName = "Datastructures4"
Expand All @@ -966,9 +966,22 @@ class SecuribenchTestSuite extends FunSuite {
"doGet"
)
svfa.buildSparseValueFlowGraph()
println(svfa.svgToDotModel())
assert(svfa.reportConflictsSVG().size == expectedConflicts)
}

/**
* WHY IS IT FAILING?
*
* The current implementation does not have a sound approach
* to handle context. It can not manage context for nested cases.
*
* i.e: String str = c1.next.str
*
* To fix that problem, the logic that creates the Open/Close labels
* must be enriched.
*/

ignore(
"in the class Datastructures5 we should detect 1 conflict of a simple data structure test case"
) {
Expand Down
Loading