issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: part XIV
#262
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
fixed decoding: supported lambda predicate case
fixed renrerer
fixed 'isPublic' predicate
fixed CFG: DFS rewritten in CPS
fixed concrete memory: unsafe reading, allocating boxed locations
added internal calls
fixed test extension 'Allocator'
fixed type solver and SMT solver interaction