XeLabs/awesome-symbolic-execution
2
0
Fork 0
mirror of https://github.com/ksluckow/awesome-symbolic-execution.git synced 2026-06-25 02:46:48 +08:00
Code Issues Projects Releases Wiki Activity

Add VSharp

Browse source
This commit is contained in:
Roman Kornilov 2025-06-09 14:54:38 +05:00 committed by Kasper Luckow
parent 789666fb4f
commit a4cd5c2828
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
View file

@ -71,6 +71,7 @@
### .NET ### .NET
* [PEX](http://pex4fun.com/About.aspx) - Dynamic symbolic execution tool for .NET. * [PEX](http://pex4fun.com/About.aspx) - Dynamic symbolic execution tool for .NET.
* [VSharp](https://github.com/VSharp-team/VSharp) - Symbolic execution engine for .NET assemblies.
### C ### C