Pinned Repositories
academic-kickstart
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
basavesh.github.io
bashbap
Binary Analysis Platform
bil
Haskell parser for BIL
callgraph.rs
Callgraphs for Rust programs
cargo-metrics
A small guide to using `rustc` for building tools to analyse Rust code.
basavesh's Repositories
basavesh/academic-kickstart
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
basavesh/basavesh.github.io
basavesh/bashbap
Binary Analysis Platform
basavesh/codegen
A Rust library providing a builder API to generate Rust code.
basavesh/CompCert
The CompCert formally-verified C compiler
basavesh/crowbar
Property fuzzing for OCaml
basavesh/cryptolib
basavesh/debin
Machine Learning to Deobfuscate Binaries
basavesh/donna_stuff
basavesh/FaCT
Flexible and Constant Time Programming Language
basavesh/fact-eval
basavesh/FoxDecBash
Formally verified x86-64 decompilation
basavesh/jasmin
Jasmin compiler
basavesh/koka
Koka language compiler and interpreter
basavesh/libjade
Crypto library
basavesh/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
basavesh/nyxstone
Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com
basavesh/openssl
TLS/SSL and crypto library
basavesh/proc-macro2
basavesh/rust
Empowering everyone to build reliable and efficient software.
basavesh/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
basavesh/rust-secret-integers
Wrappers around Rust's integer to check for constant-time-compatible usage
basavesh/safeside
Understand and mitigate software-observable side-channels
basavesh/splitspectre
basavesh/stupid-stats
Tutorial and demo of rust compiler replacement tooling
basavesh/syn
Parser for Rust source code
basavesh/thttpd-decompilation
basavesh/tonic
A native gRPC client & server implementation with async/await support.
basavesh/unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
basavesh/VIBES
Verified, Incremental, Binary Editing with Synthesis