ksluckow Goto Github PK

academic-website

Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

bbdist

Interprocedural analysis that computes the shortest distance between basic blocks

canopy

cogito

commons-io

Mirror of Apache Commons IO

ea-agent-loader

EA Agent Loader is a collection of utilities for java agent developers.

jconstraints

A constraint solver abstraction layer for Java

jconstraints-z3

jConstraints abstraction layer for Z3

jpf-symbc-rt

Symbolic PathFinder extension for generating UPPAAL Timed Automata based on explored behaviors

juppaal

Java API for working with UPPAAL model files

komorebi

log2model

Experimental framework for log behavior extraction and reasoning

personal-jekyll-theme

phosphor

Phosphor: Dynamic Taint Tracking for the JVM

realpaver

Realpaver 0.4 that compiles for Mac

spf-wca

Tool for algorithmic complexity analysis based on symbolic execution

symexbib

A bibliography of papers related to symbolic execution

the-omega-project

Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email [email protected]).