GitHub repository: mechaphish/colorguard
Primary language: Python
Created: 2016-08-20T19:09:25Z
Description: Concolic tracer to detect flag leaks and create Type-2 POVs.