Pinned Repositories
bddfca
Formal Concept Analysis with BDD (using BuDDy and CUDD libraries)
cfgconv
Convert DCFG and bfTrace output to CFGgrind format
CFGgrind
A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
cmpcfgs
Compare two CFGs with the outputs produced by CFGgrind or dumpcfgs
dumpcfgs
Dump (extract) CFGs statically from binary programs using DynInst API
instrgrind
A dynamic instruction counter plugin for valgrind.
libsig
A dynamic library signature plugin for valgrind.
phc
phc compiler fork (svn mirror)
qt-games
Simple Qt Board Games
tiny
Interpretador para Tiny
rimsa's Repositories
rimsa/CFGgrind
A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
rimsa/qt-games
Simple Qt Board Games
rimsa/tiny
Interpretador para Tiny
rimsa/instrgrind
A dynamic instruction counter plugin for valgrind.
rimsa/cmpcfgs
Compare two CFGs with the outputs produced by CFGgrind or dumpcfgs
rimsa/dumpcfgs
Dump (extract) CFGs statically from binary programs using DynInst API
rimsa/cfgconv
Convert DCFG and bfTrace output to CFGgrind format
rimsa/libsig
A dynamic library signature plugin for valgrind.
rimsa/bddfca
Formal Concept Analysis with BDD (using BuDDy and CUDD libraries)
rimsa/phc
phc compiler fork (svn mirror)
rimsa/SCGaz
Synthetic Context Generator
rimsa/GameSelector
Xbox360 Digital Games Library Manager for USB Stick
rimsa/icpc-contest-builder
Automatically select ICPC problems (according to problem type) to assemble an exam (as PDF).
rimsa/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
rimsa/page
Andrei's Personal Homepage
rimsa/tainted-phc
Tainted flow analysis on top of the phc compiler.