The Felix Programming Language

A collection of my Semgrep rules to facilitate vulnerability research.

Cake a C23 front end and transpiler written in C

SeaHorn Verification Framework

ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

C code refactoring browser

persistent monitor (for static source code analysis, GCC based)

A precise and scalable pointer analysis for LLVM, written in Ascent

A Library for Static and Dynamic Analysis of AVR binaries.

An HTML generator for Valgrind's Memcheck tool

A github action to perform C/C++ security checks automatically

GitHub Actions CI workflow with IAR Build Tools for Arm using self-hosted Linux runners

Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.

A library for detecting swapped arguments in function calls, and a Clang Static Analyzer plugin used to demonstrate the library.

Run phan entirely in your browser (with emscripten)

An automatic test case generator for C source code using Memorized Symbolic Execution

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

GitLab CI workflow with IAR Build Tools for Arm using self-hosted Linux runners

Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.