GitHub repository: kulkarnifamily/DAFFODIL
Description: Datalog Analysis Framework for .NET IL