
clr
Checker for Lifetimes and other Refinement types

Checker for Lifetimes and other Refinement types

The OWASP Java Encoder is a Java 1.5+ simple-to-use drop-in high-performance encoder class with no dependencies and little baggage. This project will…




Project Wycheproof tests crypto libraries against known attacks.

SSMA - Simple Static Malware Analyzer [This project is not maintained anymore by me]

idenLib - Library Function Identification [This project is not maintained anymore]

OWASP Secure Agent Playbook Project

OWASP Smart Contract Security (SCS) Project

🔎 Help find Trojan Source vulnerability in code 👀 . Useful for code review in project with multiple collaborators (CI/CD)

Security & Privacy in Computing(Fall 2018), Final Group Project at JHUISI, clamscan vulnerability in Cisco's ClamAV 0.99.3

Secure coding project, research on CVE-2019-17498 and implement a player score function written in C.

Project Aura: Security auditing and code introspection

Scans selected files for patterns stated in rules. This is used in order to find secrets you may have accidentally written to a file. This scanner is…

RetDec is a retargetable machine-code decompiler based on LLVM.

Cross-platform library to parse, modify, and abstract ELF, PE, and MachO executable formats. Supports C++, Python, and Rust APIs with disassembler,…

Unofficial revival of the well known .NET debugger and assembly editor, dnSpy