PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

SCAF - Source Code Analysis Framework based on Clang - Pre-alpha preview

blog.quarkslab.com | research | #static-analysis | #llvm | #clang | #source-code-analysis | #scaf
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

A preview of SCAF, a Clang-based source code analysis framework: a Python API and GUI that store ASTs and metadata in a shared database, plus a make-process hook for accurate build context.
Published
Collected

Related coverage

research · blog.quarkslab.com
Obfuscation vs the Optimizer: An LLVM Middle-End Arms Race
A Quarkslab post on the tug-of-war between obfuscators and compiler optimizers: through LLVM's middle-end IR and passes, it shows how a single upstream commit can unravel an obfuscation.
research · blog.quarkslab.com
Clang Hardening Cheat Sheet - Ten Years Later
Quarkslab updates its Clang Hardening Cheat Sheet a decade later with OpenSSF-recommended flags and newer mitigations against memory corruption, ROP/JOP and speculative execution attacks.
research · blog.quarkslab.com
Implementing a Custom Directive Handler in Clang
How-to on implementing a custom #pragma directive handler in clang, used to drive an LLVM-based obfuscator while keeping sources compilable elsewhere; a tour of the preprocessing and parsing stages.
research · blog.quarkslab.com
A glance at compiler internals: Keep my memset
Why Clang/LLVM can delete your memset: tracing llvm.memset through Dead Store Elimination, the risk for code that wipes secrets, and the volatile function-pointer trick that keeps the wipe alive.
blog · blog.trailofbits.com
Let’s talk about CFI: clang edition
Trail of Bits explains Control Flow Integrity with clang 3.9: what CFI mitigations like cfi-icall and cfi-vcall enforce, their limitations, and the -flto plus -fsanitize=cfi build flags required.
blog · blog.trailofbits.com
Using Static Analysis and Clang To Find Heartbleed
Trail of Bits built a Clang analyzer plugin that statically detects Heartbleed-style bugs: it taints ntohl/ntohs return values and flags unconstrained data used as memcpy sizes, tested on OpenSSL.
Back