adalogics/symcc

SymCC: efficient compiler-based symbolic execution

Ada Logics

We provide online education, R&D and services in the software security space.

High-quality online courses in:

• Applied Source Code Fuzzing
• Foundations of Reverse Engineering
• LLVM In-Depth For Security Engineering And Program Analysis (to-be online soon) and many more at our Training page
• Understanding Code Injections From Beginner To Advanced
• Automating RE With Outside-The-Box Full-System Dynamic Analysis

We run a blog called Program Analysis Corner that covers in-depth about program analysis

We share in-depth technical videos on YouTube