sarif-standard / sarif-spec-v1
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
- .NET code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs…☆200Updated this week
- Quality domain agnostic regular expression pattern matcher that persists results to SARIF☆39Updated 3 weeks ago
- SARIF Microsoft Visual Studio Code extension☆113Updated 4 months ago
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆178Updated last week
- Automata and transducer library for .NET☆80Updated 4 years ago
- create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode☆12Updated 7 years ago
- User-friendly documentation for the SARIF file format.☆293Updated last year
- A React-based component for viewing SARIF files.☆91Updated 4 months ago
- DevSkim plugin for VS Code.☆38Updated 4 years ago
- SARIF Microsoft Visual Studio Viewer Extension☆49Updated 10 months ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Updated 9 years ago
- A concurency testing tool☆57Updated 6 years ago
- TLS implemented in f7☆43Updated 8 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 6 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆218Updated last year
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago
- ScalableJoins☆16Updated 9 years ago
- A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.☆20Updated 2 years ago
- The Ultimate program analysis framework.☆210Updated this week
- Static analysis framework for .NET programs.☆29Updated 4 years ago
- Remote build execution technology for use with CMake, MSBuild, Gulp, Microsoft Build Accelerator, and other build engines☆59Updated 4 years ago
- Collection of tools for analyzing open source packages.☆331Updated 3 weeks ago
- T2 Temporal Prover☆93Updated 7 years ago
- Robust Internet of Things, Microsoft Research☆83Updated last year
- MsBuild task to warn about insecure NuGet libraries☆98Updated 5 years ago
- ☆194Updated this week
- Java fuzz testing library for implementations of ABNF rules such as IETF RFCs☆33Updated 5 months ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 11 years ago
- .NET ASP.NET Security Analyser - Consolidation of multiple ASP.NET OWASP tools☆16Updated 9 years ago
- ☆15Updated 4 years ago