SCALe (Source Code Analysis Lab) is a static analysis aggregator/correlator which enables a source code analyst to combine static analysis results from multiple tools into one interface, and also provides mappings for diagnostics from the tools to the SEI CERT Secure Coding standards.
☆291Sep 30, 2021Updated 4 years ago
Alternatives and similar repositories for SCALe
Users that are interested in SCALe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Aug 9, 2021Updated 5 years ago
- A Simple command line tool that helps checking web applications to identify insecure deserialization vulnerabilities.☆24Jul 10, 2019Updated 7 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- 脆弱性報奨金制度に関する詳細文書を保管するレポジトリです☆37Jul 23, 2026Updated 2 weeks ago
- collection of translation documents.☆16Mar 31, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A operating system in Rust.☆19Feb 20, 2017Updated 9 years ago
- 화이트 해커를 위한 웹 해킹의 기술☆12Jun 26, 2020Updated 6 years ago
- CWE-1003 日本語訳☆10Feb 16, 2023Updated 3 years ago
- A better dns bruteforcer written in golang☆13Nov 4, 2018Updated 7 years ago
- Triton based R2 plugin for concolic execution and total control☆36Nov 26, 2018Updated 7 years ago
- Automated static analysis tools for binary programs☆1,719Aug 3, 2026Updated last week
- Script for automating Linux memory capture and analysis☆12May 6, 2020Updated 6 years ago
- All Presentations at CodeEngn Conference☆109Jul 6, 2025Updated last year
- Useful command builder for spf13/cobra☆12Jun 29, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Translation of http://chip-architect.com/news/2003_09_21_Detailed_Architecture_of_AMDs_64bit_Core.html☆11Feb 5, 2019Updated 7 years ago
- KVM-based memory access recorder☆20Oct 14, 2018Updated 7 years ago
- another abstraction layer for operating system developers☆11Apr 27, 2020Updated 6 years ago
- Awesome list for asm2vec☆17Feb 1, 2021Updated 5 years ago
- 어셈블리어를 배워서 써먹자☆21Jun 26, 2018Updated 8 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Dec 20, 2024Updated last year
- Samsung CTF 2018 Problems. https://research.samsung.com/sctf2018☆20Jul 6, 2018Updated 8 years ago
- ☆17Jul 3, 2018Updated 8 years ago
- OWASP Mobile Top 10 2016 日本語訳☆29Feb 27, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Inferred Model-based Fuzzer☆112Jan 22, 2022Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- ☆48Aug 7, 2019Updated 7 years ago
- "64비트 멀티코어 OS 원리와 구조" 스터디 자료☆115Apr 25, 2016Updated 10 years ago
- Ditto.☆18Jul 23, 2020Updated 6 years ago
- A collection of Docker files for the RTEMS RTOS tools and BSP builds☆15Dec 14, 2021Updated 4 years ago
- radare2 cLEMENCy plugins☆24Nov 5, 2017Updated 8 years ago
- hypervisorなmemo☆13Jul 1, 2019Updated 7 years ago
- 1993년부터 1995년까지 공개되었던 "로어 3부작"에 대한 소스 코드입니다.☆21Oct 24, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆61Oct 25, 2020Updated 5 years ago
- Android user space components for the Trustonic Trusted Execution Environment☆38Sep 29, 2015Updated 10 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 3 years ago
- Consistent Hashing Mq inProcess data eXchange☆18Jul 1, 2026Updated last month
- Implementation of QFuzz.☆17Dec 3, 2021Updated 4 years ago
- Secure Coding Validation Suite☆70Dec 13, 2012Updated 13 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆495Aug 24, 2024Updated last year