Skip to content

Greybox fuzzer #1344

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
DaniilStepanov wants to merge 30 commits into
base: main
Choose a base branch
from
Open

Greybox fuzzer #1344

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
4da0878
merge
DaniilStepanov Nov 9, 2022
9fa553a
mocks generation
DaniilStepanov Nov 15, 2022
390d805
remove shrinker
Saloed Nov 10, 2022
d823f29
Rename .java to .kt
Saloed Nov 10, 2022
1343666
rewrite quickcheck on Kotlin
Saloed Nov 10, 2022
854c790
Rename .java to .kt
DaniilStepanov Nov 15, 2022
4d374c7
this instance rewriting
DaniilStepanov Nov 15, 2022
3157025
Added mutations
DaniilStepanov Nov 22, 2022
14604b4
minor
DaniilStepanov Nov 22, 2022
c5f5ae2
New seed selection strategy and time budget for generation
DaniilStepanov Nov 29, 2022
1dbcde7
refactoring and fixes
DaniilStepanov Dec 1, 2022
3452621
m
DaniilStepanov Dec 1, 2022
8240554
UnsafeBasedInstanceGenerator done
DaniilStepanov Dec 6, 2022
ad5af5d
Mutator refactorings
DaniilStepanov Dec 6, 2022
9e0ac70
minor
DaniilStepanov Dec 6, 2022
09343b0
Contest mode is done
DaniilStepanov Dec 19, 2022
3a86fd6
merge
DaniilStepanov Dec 19, 2022
1de5db5
constants collector
DaniilStepanov Dec 19, 2022
5fb1090
removed unnecessary files
DaniilStepanov Dec 19, 2022
1cc03c3
bug fixes
DaniilStepanov Dec 20, 2022
7eab043
removing fuzzer executor
DaniilStepanov Dec 20, 2022
3018dd7
Global refactorings
DaniilStepanov Dec 28, 2022
2bc68a0
minor
DaniilStepanov Dec 28, 2022
bbb34cd
minor fixes
DaniilStepanov Dec 28, 2022
4f77b79
minor
DaniilStepanov Dec 28, 2022
dd16ada
Fixed nested classes generation
DaniilStepanov Jan 13, 2023
ddaf943
fixes to contest
DaniilStepanov Jan 18, 2023
554a9c9
Mock renderer added
DaniilStepanov Jan 19, 2023
04fe674
fixes
DaniilStepanov Jan 24, 2023
7392e6d
rebase
DaniilStepanov Jan 24, 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
merge
  • Loading branch information
@DaniilStepanov
DaniilStepanov committed Jan 24, 2023
commit 3a86fd6fa93fe85515c8b6ffa94429ad5b74986e
18 changes: 0 additions & 18 deletions ...amework/src/main/kotlin/org/utbot/engine/greyboxfuzzer/generator/ThisInstanceGenerator.kt
View file
Open in desktop

This file was deleted.

2 changes: 1 addition & 1 deletion ...ngine/greyboxfuzzer/generator/userclasses/generator/StaticsFieldBasedInstanceGenerator.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import org.utbot.engine.greyboxfuzzer.quickcheck.generator.GeneratorContext
import org.utbot.engine.greyboxfuzzer.util.hasModifiers
import org.utbot.engine.greyboxfuzzer.util.toClass
import org.utbot.external.api.classIdForType
import org.utbot.framework.concrete.UtModelConstructor
import org.utbot.framework.concrete.constructors.UtModelConstructor
import org.utbot.framework.plugin.api.*
import org.utbot.framework.plugin.api.util.*
import ru.vyarus.java.generics.resolver.context.GenericsContext
Expand Down
2 changes: 1 addition & 1 deletion ...k/src/main/kotlin/org/utbot/engine/greyboxfuzzer/quickcheck/generator/GeneratorContext.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
package org.utbot.engine.greyboxfuzzer.quickcheck.generator

import org.utbot.framework.concrete.UtModelConstructor
import org.utbot.framework.concrete.constructors.UtModelConstructor
import java.util.*

data class GeneratorContext(
Expand Down
2 changes: 1 addition & 1 deletion utbot-framework/src/main/kotlin/org/utbot/engine/greyboxfuzzer/util/UtBotUtils.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package org.utbot.engine.greyboxfuzzer.util
import org.utbot.engine.greyboxfuzzer.quickcheck.internal.ParameterTypeContext
import org.utbot.engine.greyboxfuzzer.generator.*
import org.utbot.external.api.classIdForType
import org.utbot.framework.concrete.UtModelConstructor
import org.utbot.framework.concrete.constructors.UtModelConstructor
import org.utbot.framework.plugin.api.*
import org.utbot.engine.greyboxfuzzer.quickcheck.generator.GeneratorContext
import java.lang.reflect.Method
Expand Down
16 changes: 0 additions & 16 deletions utbot-framework/src/main/kotlin/org/utbot/engine/greyboxfuzzer/util/UtModelGenerator.kt
View file
Open in desktop

This file was deleted.

3 changes: 3 additions & 0 deletions ...c/main/kotlin/org/utbot/instrumentation/instrumentation/execution/BigNumberConstructor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
package org.utbot.framework.concrete

import org.utbot.framework.concrete.constructors.UtAssembleModelConstructorBase
import org.utbot.framework.concrete.constructors.UtModelConstructorInterface
import org.utbot.framework.concrete.constructors.checkClassCast
import org.utbot.framework.plugin.api.*
import org.utbot.framework.plugin.api.util.id
import org.utbot.framework.plugin.api.util.jClass
Expand Down
3 changes: 3 additions & 0 deletions .../src/main/kotlin/org/utbot/instrumentation/instrumentation/execution/BitSetConstructor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
package org.utbot.framework.concrete

import org.utbot.framework.concrete.constructors.UtAssembleModelConstructorBase
import org.utbot.framework.concrete.constructors.UtModelConstructorInterface
import org.utbot.framework.concrete.constructors.checkClassCast
import org.utbot.framework.plugin.api.ClassId
import org.utbot.framework.plugin.api.UtAssembleModel
import org.utbot.framework.plugin.api.UtExecutableCallModel
Expand Down
3 changes: 3 additions & 0 deletions ...c/main/kotlin/org/utbot/instrumentation/instrumentation/execution/DateTimeConstructors.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
package org.utbot.framework.concrete

import org.utbot.framework.concrete.constructors.UtAssembleModelConstructorBase
import org.utbot.framework.concrete.constructors.UtModelConstructorInterface
import org.utbot.framework.concrete.constructors.checkClassCast
import org.utbot.framework.plugin.api.ClassId
import org.utbot.framework.plugin.api.UtAssembleModel
import org.utbot.framework.plugin.api.UtExecutableCallModel
Expand Down
3 changes: 3 additions & 0 deletions .../src/main/kotlin/org/utbot/instrumentation/instrumentation/execution/LocaleConstructor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
package org.utbot.framework.concrete

import org.utbot.framework.concrete.constructors.UtAssembleModelConstructorBase
import org.utbot.framework.concrete.constructors.UtModelConstructorInterface
import org.utbot.framework.concrete.constructors.checkClassCast
import org.utbot.framework.plugin.api.ClassId
import org.utbot.framework.plugin.api.UtAssembleModel
import org.utbot.framework.plugin.api.UtExecutableCallModel
Expand Down
3 changes: 3 additions & 0 deletions ...on/src/main/kotlin/org/utbot/instrumentation/instrumentation/execution/UUIDConstructor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
package org.utbot.framework.concrete

import org.utbot.framework.concrete.constructors.UtAssembleModelConstructorBase
import org.utbot.framework.concrete.constructors.UtModelConstructorInterface
import org.utbot.framework.concrete.constructors.checkClassCast
import org.utbot.framework.plugin.api.ClassId
import org.utbot.framework.plugin.api.UtAssembleModel
import org.utbot.framework.plugin.api.UtExecutableCallModel
Expand Down
5 changes: 4 additions & 1 deletion .../org/utbot/instrumentation/instrumentation/execution/UtFuzzingExecutionInstrumentation.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,10 @@ import org.objectweb.asm.Type
import org.utbot.common.StopWatch
import org.utbot.common.ThreadBasedExecutor
import org.utbot.common.withAccessibility
import org.utbot.framework.assemble.AssembleModelGenerator
import org.utbot.framework.concrete.constructors.ConstructOnlyUserClassesOrCachedObjectsStrategy
import org.utbot.framework.concrete.constructors.MockValueConstructor
import org.utbot.framework.concrete.constructors.UtModelConstructor
import org.utbot.framework.concrete.mock.InstrumentationContext
import org.utbot.framework.plugin.api.*
import org.utbot.framework.plugin.api.util.*
import org.utbot.framework.util.isInaccessibleViaReflection
Expand Down
1 change: 1 addition & 0 deletions ...bot/instrumentation/instrumentation/execution/constructors/UtAssembleModelConstructors.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
package org.utbot.instrumentation.instrumentation.execution.constructors

import org.utbot.framework.concrete.*
import java.util.stream.BaseStream
import java.util.stream.DoubleStream
import java.util.stream.IntStream
Expand Down