GitHub repository: Anya497/VSharp
Description: Symbolic execution engine for .NET Core