GitHub repository: twoltjer/SymbolicExecutionAnalyzer
Primary language: C#
Description: A C# analyzer which performs symbolic execution on users' code