GitHub repository: pruemmer/nano-symex
Primary language: Scala
Created: 2021-02-17T10:51:43Z
Description: A tiny symbolic execution engine