sarif-standard / sarif-spec-v1Links
The specification document for the Static Analysis Results Interchange Format (SARIF)
☆57Updated 4 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…☆208Updated this week
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆186Updated last month
- SARIF Microsoft Visual Studio Code extension☆122Updated this week
- The MSR Ironclad project builds provably secure and reliable systems.☆257Updated 2 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆147Updated 9 months ago
- Quality domain agnostic regular expression pattern matcher that persists results to SARIF☆40Updated 3 months ago
- SARIF Microsoft Visual Studio Viewer Extension☆48Updated last year
- MsBuild task to warn about insecure NuGet libraries☆97Updated 5 years ago
- A concurency testing tool☆60Updated 6 years ago
- TLS implemented in f7☆43Updated 9 years ago
- 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
- REST API Fuzz Testing (RAFT): Source code for self-hosted service developed for Azure, including the API, orchestration engine, and defau…☆264Updated 3 years ago
- Common Compiler Infrastructure☆104Updated 6 years ago
- Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …☆41Updated 6 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆248Updated this week
- create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode☆13Updated 8 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆663Updated last week
- A system for protecting password-based authentication systems from online-guessing attacks.☆78Updated 9 years ago
- A React-based component for viewing SARIF files.☆99Updated last year
- Alive: Automatic LLVM's Instcombine Verifier☆222Updated 2 years ago
- This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremon…☆52Updated 5 years ago
- GHInsights is a data processing pipeline using Azure Data Factory and Azure Data Lake. It processes GitHub data from the ghtorrent projec…☆44Updated 7 years ago
- DevSkim plugin for VS Code.☆38Updated 5 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- Auditd plugin that forwards audit events to OMS Agent for Linux☆27Updated 3 weeks ago
- ScalableJoins☆16Updated 10 years ago
- Code Search Admin scripts (SQL and PS) for managing a Code Search on-prem instance☆53Updated last year
- An open-source implementation of VsixSignTool.☆40Updated last year