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/AdvancedMemoryChallenges
Advanced buffer overflow and memory corruption security challenges
posticarus/afl-training
Exercises to learn how to fuzz with American Fuzzy Lop
posticarus/checksec.sh
Checksec.sh
posticarus/clang-llvm-tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
posticarus/clang-tutor
A collection of out-of-tree Clang plugins for teaching and learning
posticarus/compilerbook-examples
Example code for compilers textbook.
posticarus/cymbal
Yet another Rust implementation of the Monkey language from "Writing an Interpreter in Go" and "Writing a Compiler in Go"
posticarus/dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
posticarus/fuzzer-test-suite
Set of tests for fuzzing engines
posticarus/FuzzGen
posticarus/fuzzing
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
posticarus/FuzzingPaper
Recent Fuzzing Paper
posticarus/gooroom-os-protector
posticarus/howto
Build recipies and other howtos
posticarus/is593-2020-spring
posticarus/is893-2020-fall
posticarus/kcfi
Control-Flow Integrity implementation for the Linux Kernel 3.19
posticarus/klee
KLEE Symbolic Execution Engine
posticarus/linux
Linux kernel source tree
posticarus/llvm-block
posticarus/llvm-sanitizer-tutorial
An LLVM sanitizer tutorial
posticarus/llvm-string-obfuscator
LLVM String Obfuscator
posticarus/llvmlite
A lightweight LLVM python binding for writing JIT compilers
posticarus/s2e
This is the main S2E repository. Visit https://s2e.systems/docs to get started.
posticarus/selfrando
Function order shuffling to defend against ROP and other types of code reuse
posticarus/ShadowStack
LLVM Implementation of different ShadowStack schemes for x86_64
posticarus/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
posticarus/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
posticarus/tigerml
Modern Compiler Implementation in ML (OCaml)
posticarus/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files