ditto's repositories
OS-Course-Design
based on KVM
CISCN_2019_final_day1_pwn_6
src and exp
linux-insides
A little bit about a linux kernel
aSiagaming
Chrome, Safari Exploitation
Language:JavaScript000
doc
documents
000
ghidra-decompiler
Ghidra is a software reverse engineering (SRE) framework
Language:JavaApache-2.0000
joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Language:ScalaApache-2.0000
mona
Corelan Repository for mona.py
Language:PythonBSD-3-Clause000
sst
Streaming String Transducer
GPL-3.0000
syntax
Syntactic analysis toolkit, language-agnostic parser generator.
Language:JavaScriptMIT000
v8-action
a simple method to get v8 source code with github action
GPL-3.0000
v8-perf
⏱️ Notes and resources related to v8 and thus Node.js performance
Language:JavaScript000
write-a-C-interpreter
Write a simple interpreter of C. Inspired by c4 and largely based on it.
Language:CGPL-2.0000
z3-JavaBindings
The Z3 Theorem Prover
Language:C++NOASSERTION000
z3javascript
A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
Language:JavaScriptNOASSERTION000