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
Handle CNFE when class from method parameter is not present in classl… 
…oader
  • Loading branch information
@Markoutte
Markoutte committed Sep 11, 2023
commit 1caa8de39acf66b4a41ca039299ed0116cc10503
9 changes: 7 additions & 2 deletions 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 @@ -198,12 +198,17 @@ class BuilderObjectValueProvider(
// 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 ->
.forEach byMethod@{ method ->
val returnType = method.returnType as RefType
val returnClassId = returnType.classId
val isStaticMethod = method.isStatic
val parameters = method.parameterTypes.map {
toFuzzerType(it.classId.jClass, description.typeCache)
try {
toFuzzerType(it.classId.jClass, description.typeCache)
} catch (e: ClassNotFoundException) {
logger.warn { "${it.classId} is not loaded by classpath" }
return@byMethod
}
} as MutableList<FuzzedType>
Comment thread
Markoutte marked this conversation as resolved.
if (isStaticMethod) {
yield(Seed.Recursive(
Expand Down