google / shipshapeLinks
Program analysis platform
☆270Updated 6 years ago
Alternatives and similar repositories for shipshape
Users that are interested in shipshape are comparing it to the libraries listed below
Sorting:
- A generic fuzzing and delta-debugging framework☆247Updated 7 years ago
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆936Updated 9 years ago
- Web dashboard for tracking the TODOs in a Git repo☆186Updated last year
- C code indexer using language semantic from clang☆60Updated 6 years ago
- ☆352Updated 4 years ago
- A License Classifier☆343Updated 2 months ago
- Assisted code review, running custom code analyzers on pull requests☆152Updated 4 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,079Updated 2 weeks ago
- Track code coverage metrics with Jenkins and Phabricator☆186Updated 5 years ago
- Generate bazel dependencies for maven artifacts☆82Updated 5 years ago
- ☆491Updated 10 years ago
- Babelfish documentation (GitBook)☆43Updated 6 years ago
- LUCI (go) (GitHub mirror)☆152Updated this week
- Platypus Platform: Tools for Scalable Deployment☆197Updated 5 years ago
- A faster file programming language detector☆460Updated 4 years ago
- ☆197Updated 3 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated 3 weeks ago
- A simple tool that finds serious bugs in Java exception handler☆124Updated 9 years ago
- Tool for launching a Linux process from a snapshot☆450Updated 10 years ago
- A self-hosted server for source code parsing☆366Updated 2 years ago
- Reliable project licenses detector.☆237Updated 2 years ago
- Distributed code review for Eclipse☆36Updated 5 years ago
- Build tool for my projects☆217Updated 9 years ago
- A fast SAT solver☆154Updated 4 years ago
- Many-armed network simulator☆128Updated 11 years ago
- ☆19Updated 4 months ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago
- gophersat, a SAT solver in Go☆385Updated 6 months ago
- Accompanying Repository for The Verification of a Distributed System Talk☆190Updated 9 years ago
- Fast trigram based code search☆1,738Updated last year