lahiri-phdworks

Solidity-Examples

Solidity Code Examples on Truffle and Ganache TestNet

KLEE-KQueryParser

A KQuery parser for KLEE KQuery. Tool for KLEE symbolic execution enthusiasts.

LLVM-Examples

LLVM Repository and Code samples. LLVM Passes and quick bytes.

PAVT-debloating-project

A Software Debloating Package for LLVM IR Frontends, firstly on C or C++.

System-Design

System Design Bytes for Software Enthusiasts❤️. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability. 👨‍💻 Interview Prep. 👨‍💻

activity

ActivityStreams & ActivityPub in golang, oh my!

amplify-nextjs-starter-app

This is a Next.js starter for building a fullstack app with AWS Amplify.

bitcoin

Bitcoin Core integration/staging tree

chisel

A System for Debloating C/C++ Programs

chisel-bench

ARC

The Abstraction and Reasoning Corpus

code2eqv-gnn

Code2Eqv: Finding equivalence relations between programs.

fuzzing

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

GadgetSetAnalyzer

A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.

gality

Open-source implementation to compute metrics on sets of gadgets

Hackers-Delight

Code to accompany Hacker's Delight 2nd Edition by Henry S Warren. PS: Will have my notes etc when I go through it.

lahiri-phdworks

My PhD works profile

not-so-smart-contracts

Examples of Solidity security issues

OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

OCCAM-Benchmarks

Each benchmark specializes a set of applications with OCCAM.

ROPgadget

This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC and MIPS architectures.

Software-Analysis-PAVT

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).