464 Open source projects that are alternatives of or similar to SixtyPical

Performant type-checking for python.

No description or website provided.

Binary Analysis Platform

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

Program analysis playground for a simple, imperative language

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

APISan: Sanitizing API Usages through Semantic Cross-Checking

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

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Generic implementation of different CFA families based on monadic decomposition

Staged Abstract Interpreters

Sturdy is a library for developing sound static analyses in Haskell.

No description or website provided.

OCCAM: Object Culling and Concretization for Assurance Maximization

Visual Studio Code extension integrating Tenkawa PHP language server.

An infinite runner NES game!

EBA is a static bug finder for C.

Java bytecode analyzer customizable via JSON rules

an obfuscation-resilient, highly precise and reliable library detector for Android applications

An assembler for the 6502 microprocessor written in Ruby

A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.

Haxe Checkstyle extension for Visual Studio Code

Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)

identypo is a Go static analysis tool to find typos in identifiers (functions, function calls, variables, constants, type declarations, packages, labels).

WooCommerce function and class declaration stubs for static analysis.

A tool for linting and static analysis of Lua code.

SQL Server static code analysis rules for SSDT database projects

Integrate SonarQube scanner to GitHub Actions

Configurable XML Doc warnings for ReSharper

A open source Python script to perform static analysis on a Malware Binary File (portable executable).

coala base docker image

Static analysis for CloudFormation templates to identify common misconfiguration

JAW: A Graph-based Security Analysis Framework for JavaScript and Client-side CSRF

nakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.

OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.

symbolic execution plugin for binary ninja

Making CoreOS' Clair easily work in CI/CD pipelines

Manic Miner remastered on the BBC Micro

📐 Tools for surveying Dart packages

Notepad++ Syntax Highlighting for 6502 Assembly (and NESASM)

Docker image for Alpine Linux with latest ShellCheck, a static analysis tool for shell scripts.

Шаблон кросплатформенного CMake-проекта для языка C++ 🇬🇧 Modern CMake crossplatform project template for C++

Staticcheck's official GitHub Action

Style-preserving Lua parser in Rust

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

TRACER Symbolic Execution Tool

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19

Snap Programming Language

Work-in-progress tool to reverse unity's IL2CPP toolchain.

explorations in core.logic

An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.

Interchange format for results for static analysis tools

CSS complexity linter

High-level library for executable binary file analysis

Wonderful library with lots of useful functions, algorithms and data structures in C

GitHub Action for the codacy-analysis-cli

“Bad Apple” - The definitive BBC Micro/Teletext Version

The radare2 + frida book for Mobile Application assessment