dongshen Goto Github PK

1book

《Web安全之机器学习入门》

3rdedition

arthas

Alibaba Java Diagnostic Tool Arthas/Alibaba Java诊断利器Arthas

artificial-intelligence-terminology

The English-Chinese paired terminologies in Artificial Intelligence Domain

ast

AST

avatar

AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations

awesome-java

A curated list of awesome frameworks, libraries and software for the Java programming language.

awesome-machine-learning-on-source-code

Cool links & research papers related to Machine Learning applied to source code (MLonCode)

awesome-static-analysis

A curated list of static analysis tools, linters and code quality checkers for various programming languages

azsdk-docs

bear

Build EAR

benchmark

OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.

checker-framework

Pluggable type-checking for Java

checkstyle

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

clang-user-manual

clang 中文用户手册&llvm 文档

codeanalysis

Static Code Analysis

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

codesnippet

Funny and interesting codes developed in my spare time

commons-cli

Mirror of Apache Commons CLI

compiledb

Tool for generating Clang's JSON Compilation Database files for make-based build systems.

corral

solver for the reachability modulo theories problem

dacapobench

The DaCapo benchmark suite

dawn-hdf

Mirrored from https://gerrit.diamond.ac.uk/ (no GitHub pull requests accepted)

dd-plist

A java library providing support for ASCII, XML and binary property lists.

deeplearningbook-chinese

Deep Learning Book Chinese Translation

defectai

Defect AI

defects4j

A Database of Existing Faults to Enable Controlled Testing Studies for Java

design_pattern

design_pattern

detekt

Static code analysis for Kotlin

devskim

DevSkim is a set of IDE plugins and rules that provide security "linting" capabilities.