
clr
Checker for Lifetimes and other Refinement types

Checker for Lifetimes and other Refinement types

Cosa Nostra, a FOSS graph based malware clusterization toolkit.

Python source code auditing and static analysis on a large scale

Spelling checker action to check spelling in repositories / pull requests / commits

Formal inter-procedural taint analysis engine for application security. Tracks untrusted data across function boundaries, persistence layers, and…

Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions

A guide on how to write fast and memory friendly YARA rules

OWASP Certified Secure-Software Developer

Code canaries to quickly triage hallucinated ('slop') vulnerability reports

Rules shared by the community from 100 Days of YARA 2024

OWASP Smart Contract Security (SCS) Project

Zyrox: LLVM based, compile-time obfuscator plugin.

Finding vulnerabilities through dumb brute force

A JavaScript Obfuscator based on Cryptographic Indistinguishability Obfuscation techniques

A command line CWE discovery tool based on OWASP / CAPSEC database of Common Weakness Enumeration.

EU AI Act Compliance Tool - Risk classification and bias testing
