issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
New basic blocks with interprocedural edges
#258
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
fixed CFG creating: less basic blocks
fixed getting code location of 'cilState'
style fixes and refactoring