Pinned Loading

1. lordidiot.github.io lordidiot.github.io Public

   Forked from aweekj/Kiko-plus

   Python 2

2. trailofbits/ManticoreUI trailofbits/ManticoreUI Public

   The Manticore User Interface with plugins for Binary Ninja and Ghidra

   Python 73 11

3. trailofbits/manticore trailofbits/manticore Public

   Symbolic execution tool

   Python 3.7k 472

4. GEF extension to handle tagged and c... GEF extension to handle tagged and compressed pointers in v8 better (WIP)

   1

   """

   2

   To use the extension, place the file somewhere and add

   3

   `source /path/to/extension`

   4

   in your ~/.gdbinit file

   5

5. CompetitiveProgramming CompetitiveProgramming Public

   C++ 2

6. MetaSIZE MetaSIZE Public

   GAP