Beast code in Giters

Kasper Luckow's repositories

awesome-symbolic-execution

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

CC0-1.01250 60 5

academic-website

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

Language:TeXMIT8 10

juppaal

Java API for working with UPPAAL model files

Language:Java800

BBDist

Interprocedural analysis that computes the shortest distance between basic blocks

Language:Java200

Realpaver

Realpaver 0.4 that compiles for Mac

Language:CNOASSERTION200

log2model

Experimental framework for log behavior extraction and reasoning

Language:JavaApache-2.0100

symexbib

A bibliography of papers related to symbolic execution

100

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 davew@cs.haverford.edu).

Language:CBSD-2-Clause1 10