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…☆203Updated this week
- OASIS SARIF TC: Repository for development of the draft standard, where requests for modification should be made via Github Issues☆183Updated last week
- SARIF Microsoft Visual Studio Code extension☆115Updated last month
- TLS implemented in f7☆43Updated 8 years ago
- DevSkim plugin for VS Code.☆38Updated 5 years ago
- Remote build execution technology for use with CMake, MSBuild, Gulp, Microsoft Build Accelerator, and other build engines☆59Updated 4 years ago
- Automata and transducer library for .NET☆83Updated 4 years ago
- A concurency testing tool☆58Updated 6 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
- MsBuild task to warn about insecure NuGet libraries☆97Updated 5 years ago
- KLEE in the browser☆52Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆274Updated this week
- User-friendly documentation for the SARIF file format.☆304Updated last year
- .NET ASP.NET Security Analyser - Consolidation of multiple ASP.NET OWASP tools☆16Updated 10 years ago
- A React-based component for viewing SARIF files.☆95Updated 6 months ago
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- Security utilities for key generation, string redaction, etc.☆36Updated 2 weeks ago
- .NET library for logging data via EventSource/ETW☆86Updated 2 years ago
- The OSS Attribution Builder is a website that helps teams create attribution documents (notices, "open source screens", credits, etc) com…☆81Updated 4 years ago
- Common Compiler Infrastructure☆103Updated 5 years ago
- Semantics of C in K☆315Updated 3 years ago
- This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremon…☆51Updated 4 years ago
- An interactive (fast) static source code analyzer☆163Updated 2 months ago
- Robust Internet of Things, Microsoft Research☆85Updated 2 years ago
- This repo contains code for the parser to extract data from .tm7 and .tb7 files. The project can by consumed as a NuGet package that pars…☆14Updated last year
- Compute code complexity for c, c++, c#, javascript, typescript and PowerShell.☆52Updated 7 months ago
- OWASP WebGoat.NET☆69Updated 9 years ago
- A static verifier for concurrent C programs☆135Updated 4 years ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆248Updated last week
- Line-based testcase reducer☆97Updated 2 months ago