Sushant Dinesh
sushant94
Postdoctoral Researcher @ UC Berkeley.
Languages
Top Repositories
rune - radare2 based symbolic emulator
Rust Bindings to interact with SMTLIB2 compliant solvers
A Cryptanalysis Framework
Automated Testing for errors in ESIL emulation
AudioRecorder application using rails
Repository containing example usage of radeco: https://github.com/radare/radeco
Repositories
54Rust Bindings to interact with SMTLIB2 compliant solvers
Rocket Chip Generator
rune - radare2 based symbolic emulator
Circuit IR Compilers and Tools
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Binary Ninja Function Annotator
Tool for Path of Exile game to automatically scan Archemesis inventory and display related information
A Cryptanalysis Framework
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
http://www.radare.org/
r1 book transcription to r2
unix-like reverse engineering framework and commandline tools
Regression Tests for the Radare2 Reverse Engineer's Debugger
RetroWrite -- Retrofitting compiler passes though binary rewriting
The Elegant Parser
mpirs - Implementation of MPI in Rust
No description provided.
Target, mini-test binaries for radeco-lib
Repository containing example usage of radeco: https://github.com/radare/radeco
Exercises for learning Reverse Engineering and Exploitation.
arewefastyet.com
Automated Testing for errors in ESIL emulation
Fast and efficient binary translator
Repository for IRC logging bot.
Wiki-like CTF write-ups repository, maintained by the community. 2015
AudioRecorder application using rails
ESIL Lexer + Parser + VM written in Rust
ImmunityDebugger
mirror of gera's insecure programming examples | http://community.coresecurity.com/~gera/InsecureProgramming/
Repository for 6th Semester Compiler project stuff