enjhnsn2

enjhnsn2's Stars

• PLSysSec/cse291k-fall24

  Rusty systems class

  Language:Makefile6

• flux-rs/flux

  Refinement Types for Rust

  Language:Rust67021

• mit-ll/Cross-Language-Attacks

  Language:Python272

• PLSysSec/veriwasm

  SFI verifier of Wasm binaries

  Language:Rust806

• viperproject/prusti-dev

  A static verifier for Rust, based on the Viper verification infrastructure.

  Language:Rust1.6k109

• garrettgu10/ghidra-wasm-plugin

  Ghidra Wasm plugin with disassembly and decompilation support

  Language:Java6125

• shelbyt/smartChart

  Mac OSX and Windows Compatible Text Searcher. Provide keywords, match text

  Language:Python101

• david942j/one_gadget

  The best tool for finding one gadget RCE in libc.so.6

  Language:Ruby2.1k140

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.7k1.1k

• trailofbits/manticore

  Symbolic execution tool

  Language:Python3.7k473