Starred repositories
简明自制编程语言教程，同时是antlr非官方参考🌰。这里也是cyson这门语言的缘起。
Pynblint is a linter for Python Jupyter notebooks.
An agent to enable remote management of your EC2 instances, on-premises servers, or virtual machines (VMs).
Java Change Impact Analysis, a library that parse 2 consecutive versions of a Java project and produce some advices about where (not) to do regression testing on your program.
Python code examples for Amazon CodeGuru Reviewer
Java code examples for Amazon CodeGuru Reviewer
Command line wrapper to interact with CodeGuru Reviewer
Benchmark apps for static analyzing native world of Android applications.
A security focused static analysis tool for Android and Java applications.
Codyze is a static analyzer for Java, C, C++ based on code property graphs
This repo is meant to be a list of companies that hire security people full remote.
SARIF Microsoft Visual Studio Code extension
Simple football betting application using Spring Boot, Thymeleaf and Bootstrap. Well prepared for betting with friends.
A dynamic call graph generator using Jalangi2
Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.
CodeShield-Security / SPDS
Forked from CROSSINGTUD/SPDSEfficient and Precise Pointer-Tracking Data-Flow Framework
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Parsing, analyzing, and comparing source code across many languages
This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX
A diagramming framework for the web