GitHub repository: microsoft/exsim
Primary language: C#
Description: Abstract memory safety exploitation simulator