google / shipshape
Program analysis platform
☆271Updated 6 years ago
Alternatives and similar repositories for shipshape:
Users that are interested in shipshape are comparing it to the libraries listed below
- A generic fuzzing and delta-debugging framework☆246Updated 6 years ago
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆941Updated 8 years ago
- Assisted code review, running custom code analyzers on pull requests☆150Updated 3 years ago
- ☆489Updated 9 years ago
- gophersat, a SAT solver in Go☆373Updated 9 months ago
- Generate bazel dependencies for maven artifacts☆82Updated 4 years ago
- ☆351Updated 3 years ago
- Babelfish documentation (GitBook)☆41Updated 5 years ago
- C code indexer using language semantic from clang☆61Updated 5 years ago
- A faster file programming language detector☆459Updated 3 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆1,986Updated this week
- Goal-directed static analysis tool for JVM languages.☆58Updated 8 years ago
- ☆396Updated 7 years ago
- a concolic testing engine for Java☆103Updated 7 years ago
- A simple tool that finds serious bugs in Java exception handler☆125Updated 8 years ago
- Tool for launching a Linux process from a snapshot☆448Updated 9 years ago
- Reliable project licenses detector.☆236Updated last year
- Web dashboard for tracking the TODOs in a Git repo☆183Updated last year
- ☆230Updated 9 months ago
- go on Rumprun☆311Updated 5 years ago
- LUCI (go) (GitHub mirror)☆150Updated this week
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆95Updated 4 months ago
- A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.☆548Updated 5 years ago
- [DISCONTINUED] Go to https://github.com/src-d/sourced-ce/☆217Updated 5 years ago
- Build tool for my projects☆217Updated 8 years ago
- Mirror pull requests into git-appraise☆93Updated 2 weeks ago
- utilities to assist running periodic batch processing jobs☆119Updated 11 months ago
- set of web security test cases and a toolkit to construct new ones☆909Updated 4 years ago
- Convert "go test" output to xunit compatible (used in Jenkins/Hudson)☆162Updated 5 years ago
- SAT solver written in Go (golang).☆139Updated 8 years ago