issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: part XIX
#273
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
fixed reflection (binding flags)
supported optimized code with byte arrays in static memory
fixed renderer
fixed type utils
fixed unsafe operations
fixed encoding of extending cast
fixed DFS searcher