-
coruna Public
Forked from matteyeux/corunadeobfuscated JS and blobs from https://b27[.]icu, first attempt at using claude
UpdatedMar 4, 2026 -
sandblaster Public
Forked from malus-security/sandblasterReversing the Apple sandbox
Python Other UpdatedApr 24, 2025 -
CVE-2023-41993 Public
Forked from 0x06060606/CVE-2023-41993CVE-2023-41993
JavaScript MIT License UpdatedNov 18, 2024 -
-
CaLLi Public
Forked from cnu-ants/CaLLiCaLLi : OCaml Analysis Library for LLVM IR
OCaml MIT License UpdatedMar 17, 2024 -
POC-for-CVE-2023-41993 Public
Forked from po6ix/POC-for-CVE-2023-41993JavaScript UpdatedMar 8, 2024 -
-
cve-2018-4233 Public
Forked from saelo/cve-2018-4233Exploit for CVE-2018-4233, a WebKit JIT optimization bug used during Pwn2Own 2018
JavaScript UpdatedFeb 7, 2024 -
esbmc Public
Forked from esbmc/esbmcThe efficient SMT-based context-bounded model checker (ESBMC)
C Other UpdatedFeb 7, 2024 -
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedFeb 4, 2024 -
RAP Public
Forked from safer-rust/RAPxRust Analysis Platform
Rust Apache License 2.0 UpdatedJan 10, 2024 -
wasm-tools Public
Forked from bytecodealliance/wasm-toolsLow level tooling for WebAssembly in Rust
Rust Apache License 2.0 UpdatedJan 9, 2024 -
owi Public
Forked from OCamlPro/owiOCaml WebAssembly Interpreter
WebAssembly GNU Affero General Public License v3.0 UpdatedJan 9, 2024 -
-
WasmCert-Coq Public
Forked from WasmCert/WasmCert-CoqA mechanisation of Wasm in Coq
Coq MIT License UpdatedJan 3, 2024 -
binaryen Public
Forked from WebAssembly/binaryenOptimizer and compiler/toolchain library for WebAssembly
WebAssembly Apache License 2.0 UpdatedDec 22, 2023 -
wasabi Public
Forked from danleh/wasabiA dynamic analysis framework for WebAssembly programs.
WebAssembly MIT License UpdatedNov 14, 2023 -
LSVerifier Public
Forked from janislley/LSVerifierLSVerifier - Large Systems Verifier
Python Apache License 2.0 UpdatedNov 5, 2023 -
-
cve-2023-41993-test Public
Forked from hrtowii/cve-2023-41993-testtesting poc
HTML UpdatedOct 18, 2023 -
hardcore-ocaml Public template
Forked from prosyslab-classroom/hardcore-ocamlOCaml UpdatedAug 29, 2023 -
-
wasmtime Public
Forked from bytecodealliance/wasmtimeA fast and secure runtime for WebAssembly
Rust Apache License 2.0 UpdatedAug 2, 2023 -
wasi-sdk Public
Forked from WebAssembly/wasi-sdkWASI-enabled WebAssembly C/C++ toolchain
Shell Apache License 2.0 UpdatedJul 28, 2023 -
wasm_evasion Public
Forked from ASSERT-KTH/wasm_evasionMalware evasion for WebAssembly with wasm-mutate https://www.sciencedirect.com/science/article/pii/S0167404823002067?via%3Dihub
WebAssembly UpdatedJun 10, 2023 -
rust-mir-checker Public
Forked from lizhuohua/rust-mir-checkerRust GNU General Public License v3.0 UpdatedMay 31, 2023 -
wasm-testing Public
Forked from monkbai/wasm-testingDitwo: Differential Testing framework for WebAssembly Optimizers
Python UpdatedMay 30, 2023 -
course_safepl Public
Forked from hxuhack/course_safeplCourse Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
C UpdatedMay 29, 2023 -
slumps Public
Forked from ASSERT-KTH/slumpsCool code analysis research for WebAssembly
WebAssembly UpdatedMay 19, 2023 -
cling Public
Forked from root-project/clingThe cling C++ interpreter
C++ Other UpdatedApr 25, 2023
{{ message }}