Pinned Loading

1. S2E/s2eS2E/s2ePublic

   S2E: A platform for multi-path program analysis with selective symbolic execution.

   C++ 506 96

2. SQLab/CRAXplusplusSQLab/CRAXplusplusPublic

   The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)

   C++ 102 15

3. requiemrequiemPublic

   🧛 Vampire themed metroidvania game written in C++20 and Axmol

   C++ 104 13

4. valkyrievalkyriePublic

   🔮 UNIX-like monolithic kernel for RPi3B+ (NYCU OSDI, Spring 2021)

   C++ 79 8

5. wmderlandwmderlandPublic

   🌳 X11 tiling window manager using space partitioning trees

   C++ 412 16

6. dotfilesdotfilesPublic

   📦 Running wmderland on the top of KDE Plasma 5

   Shell 108 6