Pinned Loading

1. opcde2017 opcde2017 Public

   Slides and very basic examples

   C++ 111 20

2. Shoehorn Shoehorn Public

   Using SeaHorn in Android Studio to check native code

   Java

3. megarrmon megarrmon Public

   megarrmon code from 30C3 talk

   1

4. FuzzingProgramSlices FuzzingProgramSlices Public

   Expand from the earlier, naive work

   C++ 4

5. fkrf fkrf Public

   FreeBSD 12.0 port of KRF

   C 1 1

6. schnappshot schnappshot Public

   example ptrace snapshot / replay code in c and c++

   C