sarif-standard / sarif-spec-v1Links
The specification document for the Static Analysis Results Interchange Format (SARIF)
☆57Updated 5 years ago
Alternatives and similar repositories for sarif-spec-v1
Users that are interested in sarif-spec-v1 are comparing it to the libraries listed below
Sorting:
- .NET code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs…☆209Updated 3 weeks ago
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆190Updated last week
- SARIF Microsoft Visual Studio Code extension☆129Updated last week
- An engine for searching patterns in the source code, based on Unified AST or UST. At present time C#, Java, PHP, PL/SQL, T-SQL, MySql, a…☆60Updated 5 years ago
- A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats☆830Updated last week
- Quality domain agnostic regular expression pattern matcher that persists results to SARIF☆40Updated 5 months ago
- Automata and transducer library for .NET☆82Updated 5 years ago
- create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode☆13Updated 8 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆148Updated 10 months ago
- MsBuild task to warn about insecure NuGet libraries☆96Updated 5 years ago
- SARIF Microsoft Visual Studio Viewer Extension☆48Updated last year
- This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremon…☆52Updated 5 years ago
- Common Compiler Infrastructure☆105Updated 6 years ago
- .NET library to consume and produce CycloneDX Software Bill of Materials (SBOM)☆26Updated 3 weeks ago
- User-friendly documentation for the SARIF file format.☆335Updated 2 years ago
- Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…☆98Updated 2 years ago
- Verified implementation of TLS 1.3 in F*☆179Updated 10 months ago
- static analysis benchmarks from Toyota ITC☆120Updated 2 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆249Updated last month
- OWASP WebGoat.NET☆72Updated 10 years ago
- A self-contained firewall checker☆108Updated 4 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated 3 weeks ago
- .NET ASP.NET Security Analyser - Consolidation of multiple ASP.NET OWASP tools☆15Updated 10 years ago
- ☆204Updated 2 months ago
- REST API Fuzz Testing (RAFT): Source code for self-hosted service developed for Azure, including the API, orchestration engine, and defau…☆265Updated 3 years ago
- Collection of tools for analyzing open source packages.☆354Updated 3 weeks ago
- OWASP's official repository for WebGoat (ASP.NET version)☆57Updated 3 years ago
- A React-based component for viewing SARIF files.☆101Updated last year
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- Fork of the LLVM Compiler Infrastructure☆184Updated 2 years ago