Added TIE: Principled Reverse Engineering of Types in Binary Programs.

HockeyInJune committed Aug 20, 2014

Added JPF.

HockeyInJune committed Apr 30, 2014

Formatting.

HockeyInJune committed Jan 29, 2014

Added new materials for UMD CMSC 838G.

HockeyInJune committed Jan 29, 2014

Added S2E.

HockeyInJune committed Jan 26, 2014

Added some more of Vanegue's stuff.

HockeyInJune committed Jan 9, 2014

Added Abstractions in Satisfiability Solvers.

HockeyInJune committed Jan 1, 2014

Added Lessons In Static Binary Analysis Part 1: Binary Modeling.

HockeyInJune committed Dec 26, 2013

Added Checking the boundaries of static analysis.

HockeyInJune committed Dec 3, 2013

Added The Automated Exploitation Grand Challenge.

HockeyInJune committed Dec 3, 2013

Added University of Maryland CMSC 838G

HockeyInJune committed Oct 16, 2013

Added Coq and Quark.

HockeyInJune committed Sep 11, 2013

Added Astrée, VCC, and Frama-C.

HockeyInJune committed Aug 24, 2013

Added Unleashing Mayhem on Binary Code (video)

HockeyInJune committed Aug 2, 2013

Added TREE

HockeyInJune committed Jul 27, 2013

Added FuzzBALL.

HockeyInJune committed Jul 24, 2013

Added BugsDuJour.com

HockeyInJune committed Jul 24, 2013

Added Cloud9, BUG CHECKER .NET, and ForAllSecure.

HockeyInJune committed Jul 24, 2013

Updated Program Analysis (markdown)

HockeyInJune committed May 25, 2013

Updated Program Analysis (markdown)

HockeyInJune committed May 23, 2013

Updated Program Analysis (markdown)

HockeyInJune committed May 17, 2013

Updated Program Analysis (markdown)

HockeyInJune committed Apr 30, 2013

Updated Program Analysis (markdown)

HockeyInJune committed Apr 25, 2013

Updated Program Analysis (markdown)

HockeyInJune committed Apr 24, 2013

Migrating the Resources wiki to Project-Ideas

HockeyInJune committed Apr 8, 2013