davidtr1037

davidtr1037's Stars

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.6k106603675

• pyparsing/pyparsing

  Python library for creating PEG parsers

  Language:Python2.2k28343274

• rspivak/slimit

  SlimIt - a JavaScript minifier/parser in Python

  Language:Python550249194

• mchalupa/dg

  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

  Language:C++48220299135