AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

LLMDFA: Analyzing Dataflow in Code with Large Language Models

codellm-devkit provides unified language to get off-the-shelf static analysis for multiple programming languages and support for applying those analyses for code LLM use cases.

An LLM-powered repository agent designed to assist developers and teams in generating documentation and understanding repositories quickly.

Catch common Java mistakes as compile-time errors

Research Artifact of ICSE 2023 Paper: Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion

SpotBugs plugin for SonarQube

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)

OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST),…

CodeHawk Abstract Interpretation Engine and Analyzers

Open source implementation of the Coderrect Scanner core race detection functionality.

CodeHawk Java Byte Code Static Analyzer

Kestrel Technology tool that implements machine learning techniques to perform semantic code search on java byte code and x86 (malware) executables

KT Advance Memory Safety Analyzer for C

Verilog 2001 implementation of the ChaCha stream cipher.

Intel 8051 family architecture plugin for Binary Ninja.

Java Concolic Unit Testing Engine