GitHub · Where software is built

Labels Milestones New issue

Information flow missing data

#37

· trombonehero opened

on Aug 9, 2015

Binary output

#36

· trombonehero opened

on Aug 6, 2015

Add a way to supress false positives

#34

· arichardson opened

on Jun 12, 2015

It would be nice if SOAAP supported signal handlers

#33

· arichardson opened

on May 24, 2015

Warn when sandbox calls undefined function

#32

· arichardson opened

on May 23, 2015

Demangle C++ names in text output

#31

· arichardson opened

on May 23, 2015

Provide sandbox of private access warnings

#30

· trombonehero opened

on May 16, 2015

Represent traces as array rather than dictionary

#28

· trombonehero opened

on May 14, 2015

Incorporate `cap_enter` in SOAAP model of Capsicum

#27

· trombonehero opened

on May 14, 2015

IR generation: speed up by creating empty files

#25

· arichardson opened

on Apr 2, 2015

Allow marking a C++ class as sandboxed

#23

· arichardson opened

on Mar 27, 2015

Tracking updates to shared data in context-sensitive analyses

#20

· khilangudka opened

on Mar 11, 2015