google / shipshape
Program analysis platform
☆270Updated 5 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☆245Updated 6 years ago
- ☆488Updated 9 years ago
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆942Updated 8 years ago
- ☆351Updated 3 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆641Updated last month
- a concolic testing engine for Java☆102Updated 6 years ago
- Track code coverage metrics with Jenkins and Phabricator☆186Updated 4 years ago
- Reliable project licenses detector.☆236Updated last year
- Static analyser for finding Deadlocks in Go☆317Updated last year
- Web dashboard for tracking the TODOs in a Git repo☆183Updated last year
- Babelfish documentation (GitBook)☆41Updated 5 years ago
- Assisted code review, running custom code analyzers on pull requests☆149Updated 3 years ago
- A faster file programming language detector☆460Updated 3 years ago
- C code indexer using language semantic from clang☆62Updated 5 years ago
- Skylark in Go: the Skylark configuration language, implemented in Go [MOVED to go.starlark.net]☆1,186Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆57Updated 8 years ago
- A Go implementation of Git functions☆345Updated 7 years ago
- Generate bazel dependencies for maven artifacts☆82Updated 4 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- [mirror] Tool for working with Gerrit code reviews☆144Updated 2 months ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆492Updated 6 years ago
- A static checker for identifying unstable code.☆360Updated 9 years ago
- Fast trigram based code search☆1,718Updated last year
- static analysis benchmarks from Toyota ITC☆113Updated last year
- Platypus Platform: Tools for Scalable Deployment☆197Updated 5 years ago
- Make Opensource Easy - tools for synchronizing repositories☆422Updated 2 years ago
- ☆396Updated 7 years ago
- Convert "go test" output to xunit compatible (used in Jenkins/Hudson)☆162Updated 5 years ago
- A self-hosted server for source code parsing☆361Updated last year
- UnderHood is a code browsing interface backed by Kythe indices.☆87Updated 8 months ago