bowtochris

bowtochris's Stars

• s5bug/javakinds

  Experimenting with HKT encodings

  Language:Java1

• trailofbits/binrec-tob

  BinRec: Dynamic Binary Lifting and Recompilation

  Language:C++12116

• crafthpc/shval

  Pintool framework for shadow value analysis of floating-point code

  Language:C++86