issues
search
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Apache License 2.0
50
stars
32
forks
source link
Stabilization: part XVI
#265
Closed
MchKosticyn
closed
1 year ago
MchKosticyn
commented
1 year ago
fixed IntPtr and UIntPtr representation
fixed MemoryGraph: implemented representation of IntPtr and UIntPtr
fixed pointer operations
fixed creating runtime exceptions: done via concrete invoke
fixed renderer: added implementation for IntPtr and UIntPtr
fixed statistics: setting block covered only after it's last instruction was executed without exception
fixed 'is' check for enums
fixed arithmetics simplification
fixed internal call attribute: supported multiple usage
fixed conversions
fixed style