Skip to content

Introduce object creation using builders for fuzzers #2583

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

Open
Markoutte wants to merge 11 commits into
base: main
Choose a base branch
from
Open

Introduce object creation using builders for fuzzers #2583

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
a21fcfb
Introduce Builder value provider
Markoutte Sep 7, 2023
e5be238
Rename finally to transformers
Markoutte Sep 7, 2023
4a45ad4
Simplify code
Markoutte Sep 7, 2023
510099e
Fix problem when synthetic methods are used for test generation
Markoutte Sep 8, 2023
84d51c6
Add fuzzed summary
Markoutte Sep 11, 2023
0852a76
Remove unnecessary check
Markoutte Sep 11, 2023
59c99e5
Preserve `transformers` when copying `Seed.Recursive`
IlyaMuravjov Sep 11, 2023
1caa8de
Handle CNFE when class from method parameter is not present in classl…
Markoutte Sep 11, 2023
19a9298
Unify hierarchy calling method
Markoutte Sep 11, 2023
bbb102b
Use `null` for partially unresolvable classes in fuzzed Spring tests
IlyaMuravjov Sep 12, 2023
b9de69d
Merge remote-tracking branch 'origin/main' into pelevin/builders-prov…
IlyaMuravjov Sep 12, 2023
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
Prev Previous commit
Next Next commit
Fix problem when synthetic methods are used for test generation
  • Loading branch information
@Markoutte
Markoutte committed Sep 8, 2023
commit 510099e62b9aa1cb98ae8669e992bfa9bfca8b56
10 changes: 9 additions & 1 deletion utbot-java-fuzzing/src/main/kotlin/org/utbot/fuzzing/providers/Objects.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -191,6 +191,12 @@ class BuilderObjectValueProvider(
sootClass.methods.asSequence()
.filter { isAccessible(it, description.description.packageName) }
.filter { (implementors.contains((it.returnType as? RefType)?.sootClass)) }
Comment thread
Markoutte marked this conversation as resolved.
Comment thread
IlyaMuravjov marked this conversation as resolved.
.filter {
// Simple check whether the method is synthetic,
// because Soot has no information about this:
// https://mailman.cs.mcgill.ca/pipermail/soot-list/2012-November/004972.html
!it.name.matches(nameWithDigitsAfterSpecialCharRegex)
Comment thread
Markoutte marked this conversation as resolved.
}
.forEach { method ->
val returnType = method.returnType as RefType
val returnClassId = returnType.classId
Expand Down Expand Up @@ -258,6 +264,8 @@ class BuilderObjectValueProvider(

}

private val nameWithDigitsAfterSpecialCharRegex = """.*\$\d+$""".toRegex()

private fun SootClass.isUseful(): Boolean {
if (!isConcrete) return false
val packageName = packageName
Expand All @@ -269,7 +277,7 @@ private fun SootClass.isUseful(): Boolean {
)
return false
}
val isAnonymousClass = name.matches(""".*\$\d+$""".toRegex())
val isAnonymousClass = name.matches(nameWithDigitsAfterSpecialCharRegex)
Comment thread
Markoutte marked this conversation as resolved.
if (isAnonymousClass) {
return false
}
Expand Down