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…☆198Updated 2 weeks ago
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆172Updated 3 weeks ago
- SARIF Microsoft Visual Studio Code extension☆113Updated 3 months ago
- Automata and transducer library for .NET☆79Updated 4 years ago
- A React-based component for viewing SARIF files.☆88Updated 2 months ago
- TLS implemented in f7☆43Updated 8 years ago
- ☆13Updated 3 months ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- 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
- 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 4 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆218Updated last year
- With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hook…☆21Updated 2 years ago
- User-friendly documentation for the SARIF file format.☆290Updated last year
- Inspect your builds to look for changes in filesystem, network traffic and running processes.☆13Updated 6 years ago
- Verified implementation of TLS 1.3 in F*☆176Updated 7 months ago
- .NET library for logging data via EventSource/ETW☆86Updated 2 years ago
- Remote build execution technology for use with CMake, MSBuild, Gulp, Microsoft Build Accelerator, and other build engines☆59Updated 4 years ago
- T2 Temporal Prover☆93Updated 6 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆261Updated this week
- Java fuzz testing library for implementations of ABNF rules such as IETF RFCs☆33Updated 4 months ago
- DevSkim plugin for VS Code.☆38Updated 4 years ago
- ScalableJoins☆16Updated 9 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆245Updated 5 months ago
- The MSR Ironclad project builds provably secure and reliable systems.☆243Updated last year
- Symbolic Execution Engine for Boogie☆28Updated 3 years ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆141Updated last year
- MsBuild task to warn about insecure NuGet libraries☆97Updated 5 years ago
- REST API Fuzz Testing (RAFT): Source code for self-hosted service developed for Azure, including the API, orchestration engine, and defau…☆263Updated 3 years ago
- ☆193Updated this week
- A Z3-Based String Constraint Solver☆87Updated 5 years ago