usvm-python#169

Merged

tochilinak merged 344 commits intomainfrom tochilinak/python

Jul 13, 2024

+20,439-54

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 12, 2024

fix on linux

Tochilina Ekaterina
authored and
tochilinak
committed
tp_getattro

Tochilina Ekaterina
authored and
tochilinak
committed
slice fields
tochilinak
committed
list_subscript on slices

Tochilina Ekaterina
authored and
tochilinak
committed
allowed path diversion in test for slices
tochilinak
committed
Fixed state termination
tochilinak
committed
Added depth limit in SymbolTypeTree
tochilinak
committed
fix in virtualPathSelector
tochilinak
committed
Fix after rebase
tochilinak
committed
More tuple operations

Tochilina Ekaterina
authored and
tochilinak
committed
Fixes after rebase
tochilinak
committed
Started working on floats
tochilinak
committed
Float operations

Tochilina Ekaterina
authored and
tochilinak
committed
Global clones; float to int

Tochilina Ekaterina
authored and
tochilinak
committed
Accurate float operations
tochilinak
committed
Fixed bug in ElementConstraints
tochilinak
committed
Fixed issues with GlobalHeapRef
tochilinak
committed
small fix

Tochilina Ekaterina
authored and
tochilinak
committed
New structure for global refs
tochilinak
committed
Fix for linux

Tochilina Ekaterina
authored and
tochilinak
committed
Added nb_true_div for ints

Tochilina Ekaterina
authored and
tochilinak
committed
Fixed memory leak from PathTrieNode
tochilinak
committed
new params in VirtualPathSelector; soft constraints on floats
tochilinak
committed
modified state labels
tochilinak
committed
Fixes after rebase
tochilinak
committed
Added unregistered virtual operations to statistics
tochilinak
committed
added list_pop

Tochilina Ekaterina
authored and
tochilinak
committed
some new list methods
tochilinak
committed
Create structure.md
tochilinak
committed
Started switching to annotation processing
tochilinak
committed
Implemented CPythonFunctionProcessor
tochilinak
committed
got rid of jsons in cpythonadapter
tochilinak
committed
added annotations for descriptors
tochilinak
committed
fixes for linux

tochilinak
authored and
tochilinak
committed
Implemented SymbolicMethodProcessor
tochilinak
committed
Switched to new SymbolicMethods

tochilinak
authored and
tochilinak
committed
Removed some redundant code
tochilinak
committed
updated docs, gradle tasks, cpython patch

tochilinak
authored and
tochilinak
committed
Update structure.md
tochilinak
committed
Update API.md
tochilinak
committed
Update API.md
tochilinak
committed
update of cpython (added docs)

tochilinak
authored and
tochilinak
committed
added list.extend method
tochilinak
committed
implemented list.clear()
tochilinak
committed
New approximations

tochilinak
authored and
tochilinak
committed
Fixed some bugs; some new tests
tochilinak
committed
Added list.reverse(); refactored some old approximations
tochilinak
committed
Added usvm-python runner

tochilinak
authored and
tochilinak
committed
Fixes after rebase

tochilinak
authored and
tochilinak
committed
Fixed some warnings

tochilinak
authored and
tochilinak
committed
work on usvm-python package

tochilinak
authored and
tochilinak
committed
Fixes after rebase; work on gradle scripts

tochilinak
authored and
tochilinak
committed
fixes in configurations

tochilinak
authored and
tochilinak
committed
Added environment to build task in actions

tochilinak
authored and
tochilinak
committed
Added permissions

tochilinak
authored and
tochilinak
committed
Added MavenPublication

tochilinak
authored and
tochilinak
committed
Added debug runner

tochilinak
authored and
tochilinak
committed
Fixed blocking accept()

tochilinak
authored and
tochilinak
committed
Started working on fields
tochilinak
committed
Supported calls of python methods

tochilinak
authored and
tochilinak
committed
preparations for further objects support
tochilinak
committed
Fixed some crashes
tochilinak
committed
Fixed one crash
tochilinak
committed
Added venv; updated usvm-python-runner

tochilinak
authored and
tochilinak
committed
Fix in getTypeFromTypeHint
tochilinak
committed
Several fixes; core update
tochilinak
committed
fixed compilation on linux

tochilinak
authored and
tochilinak
committed
Fix in build script

tochilinak
authored and
tochilinak
committed
fix in usvm-python-runner

tochilinak
authored and
tochilinak
committed
supported constructor calls

tochilinak
authored and
tochilinak
committed
Supported load of default parameters

tochilinak
authored and
tochilinak
committed
some tests
tochilinak
committed
Fix in standard tp_getattro/tp_setattro logic

tochilinak
authored and
tochilinak
committed
Added WrappedSetRegion
tochilinak
committed
Added virtual tp_call

tochilinak
authored and
tochilinak
committed
Several fixes
tochilinak
committed
Reduced waiting time in loop
tochilinak
committed
Trying to catch segfault
tochilinak
committed
Started working on dicts

tochilinak
authored and
tochilinak
committed
usvm-python-runner: wrapped interruped in while loop
tochilinak
committed
small fix
tochilinak
committed
new attempt
tochilinak
committed
fix
tochilinak
committed
preparations for dict

tochilinak
authored and
tochilinak
committed
Added heuristic that adds default fields to an object
tochilinak
committed
Added filtration
tochilinak
committed
Fixed segfault
tochilinak
committed
Supported propertied

tochilinak
authored and
tochilinak
committed
Fixes after rebase

tochilinak
authored and
tochilinak
committed
Added restriction for index type

tochilinak
authored and
tochilinak
committed
Fixed silly bug
tochilinak
committed
Added approximation for contains_op

tochilinak
authored and
tochilinak
committed
Changed processing of UnregisteredVirtualOperation
tochilinak
committed
Added nb_positive and nb_negative

tochilinak
authored and
tochilinak
committed
Started implementing dicts
tochilinak
committed
Further work on dicts: int keys

tochilinak
authored and
tochilinak
committed
Added some samples
tochilinak
committed
Added dict_set_item
tochilinak
committed
fixed create_dict_const_key

tochilinak
authored and
tochilinak
committed
Fixed one case of underapproximation
tochilinak
committed
Fixed a case of path diversion
tochilinak
committed
More work on underapproximations
tochilinak
committed
Fixed message in DebugRunner
tochilinak
committed
Fixed parsing of venv info
tochilinak
committed
Removed warning about loggin
tochilinak
committed
Changed logic of standard tp_getattro
tochilinak
committed
Added support for generators
tochilinak
committed
Working on sending inputs from new states
tochilinak
committed
Added substitution of virtual objects to None

tochilinak
authored and
tochilinak
committed
onNewState for initial state

tochilinak
authored and
tochilinak
committed
Fixed dict type conversion
tochilinak
committed
Added dict.isEmpty and dict contains_op
tochilinak
committed
Added approximation scheme for constructors; started working on sets

tochilinak
authored and
tochilinak
committed
Changed logic of virtual objects as keys in dicts
tochilinak
committed
Further work on sets
tochilinak
committed
Fixed segfault with PyTuple_Pack
tochilinak
committed
One more check
tochilinak
committed
set.add; fork on dict_iter; fixed constructor call
tochilinak
committed
Fixed compilation error on linux

tochilinak
authored and
tochilinak
committed
Supported enumerate

tochilinak
authored and
tochilinak
committed
Added repetition check in NewStateObserverForRunner
tochilinak
committed
Added several approximations
tochilinak
committed
Supported build_set

tochilinak
authored and
tochilinak
committed
Added str_eq and str_neq

tochilinak
authored and
tochilinak
committed
Some tests

tochilinak
authored and
tochilinak
committed
Fixes after rebase
tochilinak
committed
Structure refactoring
tochilinak
committed
Refactoring: removed ConverterToPythonObject + started changing API for saving results
tochilinak
committed
Finished working on new saving interface

tochilinak
authored and
tochilinak
committed
Small fixes in python_approximations
tochilinak
committed
Added constraints from native calls
tochilinak
committed
Refactored PyVirtualPathSelector
tochilinak
committed
Added default value for arrays
tochilinak
committed
Moved makeTypeRating function
tochilinak
committed
Added innerType
tochilinak
committed
Added BaselineWeightedByNumberOfVirtual path selector
tochilinak
committed
Fixed visitor for recursive objects
tochilinak
committed
Made Python modules optional
tochilinak
committed
Update README.md
tochilinak
committed
Added PyPathSelectorType.DelayedForkByInstructionDfs
tochilinak
committed
Fix in BaselineStrategy
tochilinak
committed
small fix
tochilinak
committed
Added TypeRatingByNumberOfHints
tochilinak
committed
Changed ResultReceiver in runner
tochilinak
committed
Removed commented out code
tochilinak
committed
small fix in model visitor
tochilinak
committed
Changed usvm-python module logic
tochilinak
committed
Work on test task dependencies
tochilinak
committed
More work on dependencies
tochilinak
committed
Fix in ArrayCastExample + experiment with CI
tochilinak
committed
Added optional dependencies installation + fix in usvm-jvm test
tochilinak
committed
Added apt update
tochilinak
committed
Removed some optional packages
tochilinak
committed
next attempt
tochilinak
committed
more work on dependencies
tochilinak
committed
updated readme
tochilinak
committed
fix after rebase
tochilinak
committed
Added RandomizedPriorityActionStrategy
tochilinak
committed
Fixed python soft constraints
tochilinak
committed
Added DelayedForkByInstructionWeightedRandomTree
tochilinak
committed
Fixed exception catching
tochilinak
committed
Updated usvm-python/buildDistWithoutPip.sh
tochilinak
committed
Added pathSelector parameter to usvm-python-runner
tochilinak
committed
Fixed module dependency
tochilinak
committed
Added publication of usvm-python-commons
tochilinak
committed
Fixed publish task
tochilinak
committed
Added WeightedByNumberOfVirtualPathSelector; changed baseline probabilities
tochilinak
committed
Changed parameter in WeightedByNumberOfVirtualPathSelector
tochilinak
committed
Fixed WeightedByNumberOfVirtualPathSelector
tochilinak
committed
Added path selectors weighted by number of instructions
tochilinak
committed
Added parameter proportionalToSelectorSize in WeightedPyPathSelector
tochilinak
committed
Added PyMockTypeStream
tochilinak
committed
Fixed compilation error
tochilinak
committed
Fixed usage of RandomTreePathSelector
tochilinak
committed
fix: auto-formatting

sergeypospelov
authored and
tochilinak
committed
fix: try to fix gradle error

sergeypospelov
authored and
tochilinak
committed
added new path selector type
tochilinak
committed
fmt
tochilinak
committed
Formatting
tochilinak
committed
More formatting
tochilinak
committed
exclude rule with false-positive
tochilinak
committed
Started refactoring build scripts
tochilinak
committed
Fixed property access
tochilinak
committed
fixed typo
tochilinak
committed
More refactoring
tochilinak
committed
Increased Gradle max JVM heap size
tochilinak
committed
more build refactoring
tochilinak
committed
Started refactoring manualTest
tochilinak
committed
Update README.md
tochilinak
committed
More refactoring
tochilinak
committed
More refactoring
tochilinak
committed
refactoring + enhancement of SymbolTypeTree
tochilinak
committed
More formatting
tochilinak
committed
fmt
tochilinak
committed
reverted some changes in usvm-core
tochilinak
committed
PyPathConstraints
tochilinak
committed
fix: MacOS build support

sergeypospelov
authored and
tochilinak
committed
revert USoftConstraintsProvider
tochilinak
committed
fix: remove property

sergeypospelov
authored and
tochilinak
committed
LocalProgramProvider
tochilinak
committed
Finished refactoring manualTestKt
tochilinak
committed
fmt
tochilinak
committed
changed println to logger in tests
tochilinak
committed
more formatting
tochilinak
committed
fmt
tochilinak
committed
fmt
tochilinak
committed
fmt
tochilinak
committed
fmt
tochilinak
committed
chore: flaky test disabled

sergeypospelov
authored and
tochilinak
committed
Refactored exception structure
tochilinak
committed
Removed handlerPOWLong
tochilinak
committed
refactoring in usvm-python-annotations
tochilinak
committed
removed nbBoolKt
tochilinak
committed
Update usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/model/PyModel.kt

tochilinak
and
sergeypospelov
committed
Added description for Gradle modules
tochilinak
committed
Fixed unused import
tochilinak
committed
Fixed api in ManualTest
tochilinak
committed
Update usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/PyState.kt

tochilinak
and
sergeypospelov
committed
refactored jni header generation + pr fixes
tochilinak
committed
Update usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/interpreters/symbolic/USVMPythonInterpreter.kt

tochilinak
and
sergeypospelov
committed
CE fix
tochilinak
committed
Converted several classes from Java to Kotlin
tochilinak
committed
removed some redundant code
tochilinak
committed
Update usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/interpreters/concrete/ConcretePythonInterpreter.kt

tochilinak
and
sergeypospelov
committed
Update usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/PyMachine.kt

tochilinak
and
sergeypospelov
committed
detekt fixes
tochilinak
committed
pr fixes
tochilinak
committed
several renamings
tochilinak
committed
fixes in usvm-python-runner
tochilinak
committed
Docs for withTracing
tochilinak
committed
spacing in PyMachine
tochilinak
committed
detekt fix
tochilinak
committed
Simplified PyState
tochilinak
committed
several simple fixes
tochilinak
committed
more simple pr fixes
tochilinak
committed
description for handlerIsinstanceKt + minor
tochilinak
committed
fix
tochilinak
committed
more simple pr fixes
tochilinak
committed
pr fixes
tochilinak
committed
trickier pr fixes
tochilinak
committed
detekt fixes
tochilinak
committed
Separate action for python package
tochilinak
committed
removed duplicated lines
tochilinak
committed
removed redundant step
tochilinak
committed
pr comments
tochilinak
committed
detekt fix
tochilinak
committed
Updated Python link in README
tochilinak
committed