443 Open source projects that are alternatives of or similar to Apisan

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

A 6502-oriented low-level programming language supporting advanced static analysis

An analysis tool for Python that blurs the line between testing and type systems.

Binary Analysis Platform

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

No description or website provided.

Radare2 and Frida better together.

Static code analyzer for TypeScript

Code style checking for RSpec files

Dockerfile linter, validate inline bash, written in Haskell

Docker image that provides static analysis tools for PHP

A static analysis security vulnerability scanner for Ruby on Rails applications

Vulnerability Patterns Detector for C# and VB.NET

HaboMalHunter is a sub-project of Habo Malware Analysis System (https://habo.qq.com), which can be used for automated malware analysis and security assessment on the Linux system.

Linting tool for CloudFormation templates

Object Calisthenics rules for PHP_CodeSniffer

High-level library for executable binary file analysis

Performant type-checking for python.

☕️ SonarSource Static Analyzer for Java Code Quality and Security

a javascript static security analysis tool

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

A GitHub app to automatically review Python code style over Pull Requests

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

Static Value-Flow Analysis Framework for Source Code

Collection of small security tools, mostly in Bash and Python. CTFs, Bug Bounty and other stuff.

Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.

A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.

A LLVM-based static analysis framework.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

a tool to perform static analysis of known vulnerabilities, trojans, viruses, malware & other malicious threats in docker images/containers and to monitor the docker daemon and running docker containers for detecting anomalous activities

Andromeda - Interactive Reverse Engineering Tool for Android Applications

cfmt is a tool to wrap Go comments over a certain length to a new line.

The Felix Programming Language

A curated list of awesome Go linters. More than 60 linters and tools!

A unit test-like interface for fuzzing and symbolic execution

Vulnerability Static Analysis for Containers

Static Analyzer for Solidity

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

An open format definition for static analysis tools

Next-gen phpDoc parser with support for intersection types and generics

Awesome Python Security resources 🕶🐍🔐

Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

PHP Implementation of the VS Code Language Server Protocol 🆚↔🖥

ShellCheck, a static analysis tool for shell scripts

🚦 An extensible linter for the TypeScript language

library for importing functions from dlls in a hidden, reverse engineer unfriendly way

🐳 📡 Docker way of running SonarQube + any DB

Awesome autocompletion, static analysis and refactoring library for python

SonarSource Static Analyzer for JavaScript and TypeScript

Useful CMake Examples

PHP Architecture Tester - Easy to use architectural testing tool for PHP ✔️

scalastyle

Emacs Lisp Static Analyzer

IDAPython Made Easy

DEPRECATED -- DevSkim plugin for Sublime Text 3.

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

🔐 A code style linter for Elixir

FlowDroid Static Data Flow Tracker

Continuous Inspection