tiandiyixian Goto Github PK

aap

Automatic Analysis of Patches / Análisis Automático de Parches

analysis-net

Static analysis framework for .NET programs.

analyzetoolextended

A tool that automates the performance assessment of static analysis tools.

android_code_arbiter

针对Android Studio的源码扫描工具

antiplag

作业查重软件，它实现了程序代码、文档文本、图片之间的相似度检查。a code-similarity, text-similarity and image-similarity computation software for the codes, documents and images of assignment.

antlr3-objc2.0-runtime

Objective C 2.0 Runtime for Antlr3

applicationinspector

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'what's in it' using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.

archunit

A Java architecture test library, to specify and assert architecture rules in plain Java

argus-saf

Argus static analysis framework

astor

automatic program repair for Java with generate-and-validate techniques: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018)

astyleclipse

astyle code format eclipse plugin, [Obsolete], just for memory

attack-surface-detector-cli

attack-surface-detector-zap

The Attack Surface Detector uses static code analyses to identify web app endpoints by parsing routes and identifying parameters

attestor

A Shape Analysis Tool based on Graph Grammars

awesome-binary-similarity

An awesome & curated list of binary code similarity papers

awesome-industrial-control-system-security

A curated list of resources related to Industrial Control System (ICS) security.

awesome-nodejs-security

Awesome Node.js Security resources

awesome-php

A curated list of amazingly awesome PHP libraries, resources and shiny things.

awesome-static-analysis

Static analysis tools for all programming languages

backend-series

:books: 服务端开发实践与工程架构，服务端基础篇 | 微服务与云原生篇 | Spring 篇 | Node.js 篇 | DevOps 篇 | 信息安全与渗透测试篇

bajs

Dynamic taint propagation for Java with java.instrumentation and javassist

bap-plugins

BAP Plugins Repository

basic-tools

基础工具库

bblfshd

A self-hosted server for source code parsing

bdd-security

BDD Automated Security Tests for Web Applications

bjoern

Binary analysis platform based on Octopus and Radare2

boomerang

Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.

c-helper

A programming environment for beginners of c programming language.

cbmc

C Bounded Model Checker

cclearner

A Deep Learning-Based Clone Detection Approach