Pinned Repositories
AdvancedMemoryChallenges
Advanced buffer overflow and memory corruption security challenges
afl-training
Exercises to learn how to fuzz with American Fuzzy Lop
anchore-engine
A service that analyzes docker images and applies user-defined acceptance policies to allow automated container image validation and certification
AttackSurfaceAnalyzer
Attack Surface Analyzer can help you analyze your operating system's security configuration for changes during software installation.
awesome-compilers
:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes
awesome-static-analysis
A curated list of static analysis tools, linters and code quality checkers for various programming languages
bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
binaryen
Optimizer and compiler/toolchain library for WebAssembly
c2rust
Migrate C code to Rust
posticarus's Repositories
posticarus/AttackSurfaceAnalyzer
Attack Surface Analyzer can help you analyze your operating system's security configuration for changes during software installation.
posticarus/binaryen
Optimizer and compiler/toolchain library for WebAssembly
posticarus/cling
The cling C++ interpreter
posticarus/course_safepl
Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
posticarus/dead
posticarus/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
posticarus/eva-llvm-source
Source code for "Programming Language with LLVM" class
posticarus/hardcore-ocaml
posticarus/lbd
posticarus/lc3-vm
Write your own virtual machine for the LC-3 computer!
posticarus/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
posticarus/llvmutils
posticarus/LSVerifier
LSVerifier - Large Systems Verifier
posticarus/owi
OCaml WebAssembly Interpreter
posticarus/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
posticarus/RAP
Rust Analysis Platform
posticarus/rust-mir-checker
posticarus/rust_taint
Thesis code
posticarus/slumps
Cool code analysis research for WebAssembly
posticarus/SVF
Static Value-Flow Analysis Framework for Source Code
posticarus/wasabi
A dynamic analysis framework for WebAssembly programs.
posticarus/wasi-sdk
WASI-enabled WebAssembly C/C++ toolchain
posticarus/wasm-testing
Ditwo: Differential Testing framework for WebAssembly Optimizers
posticarus/wasm-tools
Low level tooling for WebAssembly in Rust
posticarus/wasm_evasion
Malware evasion for WebAssembly with wasm-mutate https://www.sciencedirect.com/science/article/pii/S0167404823002067?via%3Dihub
posticarus/WasmCert-Coq
A mechanisation of Wasm in Coq
posticarus/wasmtime
A fast and secure runtime for WebAssembly
posticarus/wasmut
Mutation Testing for WebAssembly/WASI modules
posticarus/wave
Verified Wasm runtime
posticarus/WAVM
WebAssembly Virtual Machine