Stabilization: part XXIII - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Stabilization: part XXIII #281

Closed MchKosticyn closed 1 year ago

MchKosticyn commented 1 year ago

added state branching for symbolic pointers
fixed unsafe operations
fixed span internal calls
fixed reference checking