Pinned Repositories
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
Bear
Build EAR
gradle
Coverity & Fortify gradle plugin
jsch
Recently i got some issue in my daily job, I need check all my DB through ssh in Linux system, I need a tools help me on this to get back information from server list.
sdong_common
Common module, include LOC
WordNet
use WordNet(a lexical database) to compare two sentence semantic similarity.
dongshen's Repositories
dongshen/jsch
Recently i got some issue in my daily job, I need check all my DB through ssh in Linux system, I need a tools help me on this to get back information from server list.
dongshen/sdong_common
Common module, include LOC
dongshen/AST
AST
dongshen/AVATAR
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
dongshen/awesome-machine-learning-on-source-code
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
dongshen/checker-framework
Pluggable type-checking for Java
dongshen/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.
dongshen/clang-user-manual
clang 中文用户手册&llvm 文档
dongshen/CodeAnalysis
Static Code Analysis
dongshen/codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
dongshen/commons-cli
Mirror of Apache Commons CLI
dongshen/compiledb
Tool for generating Clang's JSON Compilation Database files for make-based build systems.
dongshen/corral
solver for the reachability modulo theories problem
dongshen/dacapobench
The DaCapo benchmark suite
dongshen/dawn-hdf
Mirrored from https://gerrit.diamond.ac.uk/ (no GitHub pull requests accepted)
dongshen/doxygen
Official doxygen git repository
dongshen/DoxygenDataParsor
Will parse Doxygent call graph output xml and save it to database.
dongshen/Examples
A collection of TLA+ specifications of varying complexities
dongshen/guava
Google core libraries for Java
dongshen/jayhorn
Static checker for Java
dongshen/jcommander
Command line parsing framework for Java
dongshen/phasar
A LLVM-based static analysis framework.
dongshen/scan-build
Clang's scan-build re-implementation in python
dongshen/sdong_codeql-uboot
dongshen/shiftleft-java-demo
dongshen/Tai-e
An easy-to-learn/use static analysis framework for Java
dongshen/terminal
The new Windows Terminal, and the original Windows console host -- all in the same place!
dongshen/tessdata
Trained models with support for legacy and LSTM OCR engine
dongshen/verona
Research programming language for concurrent ownership
dongshen/z3
The Z3 Theorem Prover