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 6 years ago
- C code indexer using language semantic from clang☆61Updated 6 years ago
- Web dashboard for tracking the TODOs in a Git repo☆185Updated last year
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆938Updated 8 years ago
- ☆490Updated 9 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,040Updated last week
- Platypus Platform: Tools for Scalable Deployment☆198Updated 5 years ago
- A faster file programming language detector☆462Updated 3 years ago
- Assisted code review, running custom code analyzers on pull requests☆151Updated 4 years ago
- Babelfish documentation (GitBook)☆42Updated 5 years ago
- ☆353Updated 4 years ago
- A self-hosted server for source code parsing☆364Updated last year
- Generate bazel dependencies for maven artifacts☆83Updated 5 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated 2 months ago
- Make Opensource Easy - tools for synchronizing repositories☆423Updated 3 years ago
- Track code coverage metrics with Jenkins and Phabricator☆186Updated 5 years ago
- A simple tool that finds serious bugs in Java exception handler☆125Updated 8 years ago
- Many-armed network simulator☆128Updated 11 years ago
- LUCI (go) (GitHub mirror)☆151Updated this week
- Build tool for my projects☆218Updated 9 years ago
- Reliable project licenses detector.☆237Updated 2 years ago
- A fast SAT solver☆152Updated 4 years ago
- Slimmed down version of Vanadium that is focused on its RPC and security system.☆91Updated 10 months ago
- Tool for launching a Linux process from a snapshot☆449Updated 9 years ago
- ☆18Updated 3 weeks ago
- gophersat, a SAT solver in Go☆382Updated last month
- Deprecated home of Istio authentication components, now in istio/istio's security dir☆73Updated 7 years ago
- Mirror pull requests into git-appraise☆94Updated 5 months ago
- Unified code review dashboard.☆42Updated last year
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago