Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build Awareness Service (BAS) and Function/Type database (FTDB). BAS is a tool for extracting information how particular S/W image is created from ongoing builds. FTDB transforms predefined source code information (l…
☆62Aug 1, 2025Updated 6 months ago
Alternatives and similar repositories for CAS
Users that are interested in CAS are comparing it to the libraries listed below
Sorting:
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of con…☆30Jan 20, 2026Updated last month
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- ☆14Oct 7, 2021Updated 4 years ago
- My scripts for Ghidra.☆25Oct 9, 2025Updated 4 months ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 7 months ago
- A ServiceWorker for client-side reconstruction of composite mementos☆16Mar 6, 2025Updated 11 months ago
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 4 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆62Nov 24, 2025Updated 3 months ago
- WIP Java decompiler☆24Dec 3, 2025Updated 2 months ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Semantic strings based on tree-sitter☆17Feb 19, 2025Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- ☆21Sep 10, 2024Updated last year
- Framework to reverse engineer binaries and evaluate similarities across a large collections of files. Uses sector hashing and data flow …☆15May 23, 2023Updated 2 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18Jun 6, 2024Updated last year
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆64May 4, 2025Updated 9 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Updated this week
- ☆25Aug 6, 2025Updated 6 months ago
- IDA Database Parser for Rust☆25Sep 13, 2024Updated last year
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆115Jan 22, 2026Updated last month
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated 11 months ago
- Library to manipulate and create Sourcetrail databases☆23May 27, 2025Updated 9 months ago
- egui library for displaying control flow graphs using petgraph, and rust sugiyama.☆34Dec 28, 2025Updated 2 months ago
- The datasets and source code of the NDSS 2025 paper《BinEnhance: An Enhancement Framework Based on External Environment Semantics for Bina…☆30Nov 13, 2025Updated 3 months ago
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆130Updated this week
- ☆32Updated this week
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆71Aug 2, 2024Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated 11 months ago
- Config files for my GitHub profile.☆13Jan 18, 2025Updated last year
- Security Harness Engineering for Robust Program Analysis☆110Jan 23, 2026Updated last month
- binary instrumentation, analysis, and patching framework☆100Feb 20, 2026Updated last week
- ☆72Nov 1, 2023Updated 2 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago