Mac Software filtered by 'Static analysis'

IntelliJ IDEA is the JetBrains IDE for pro development in Java and Kotlin. Built for your comfort, it unlocks productivity, ensures quality code, supports cutting-edge tech, and protects your privacy.

A disassembler and decompiler with robust support for various processors and file formats, offering pseudocode similar to original source code.

Hopper is a reverse engineering tool for OS X and Linux, that lets you disassemble, and decompile your 32/64bits Intel Mac, Linux, Windows and iOS executables!

A reverse engineering platform and GUI.

Malcat is a feature-rich hexadecimal editor / disassembler / decompiler for reverse engineers and malware analysts. It has support for many file formats and CPUs, can scan for signatures, decrypt/decompress data, diff files and run python scripts.

jamovi is a free and open statistical platform which is intuitive to use, and can provide the latest developments in statistics.

Anya is a privacy-first static malware analysis tool for Windows, Linux, and macOS. It combines PE, ELF, and Mach-O binary analysis with MITRE ATT&CK mapping, confidence-based risk scoring, and plain-English explanations. All offline, with zero network calls.

SlowQL is a production-focused offline SQL static analyzer that catches security vulnerabilities, performance regressions, reliability issues, compliance risks, cost inefficiencies, and code quality problems before they reach production.

Axivion Suite includes static code analysis, architecture analysis and tools to identify technical debt to keep sw projects maintainable.

HttpFox monitors and analyzes all incoming and outgoing HTTP traffic between the browser and the web servers.

A Python source code analyzer which looks for programming errors, it helps to enforce a coding standard and to sniff for some code.

Understand is a static analysis tool for maintaining, measuring, and analyzing critical or large code bases. Supports programming languages (C/C++, C#, FORTRAN, Java, JOVIAL, Pascal, PL/M, VHDL, Cobol) and web languages (PHP, HTML, CSS, and JavaScript).

PyChecker is a tool for finding bugs in Python source code. It finds problems that are typically caught by a compiler for less dynamic languages, like C and C++ and is similar to lint. Because of the dynamic nature of python, some warnings may be incorrect; however, spurious...

A simple program which checks Python source files for errors.

pep8 is a tool to check your Python code against some of the style conventions in PEP 8.

High-precision Python SAST & Dead Code Remover. Finds unused functions, secrets, and security flaws with hybrid static analysis + local LLM agents. Privacy-first & low noise. MCP server for SAST too.

Evolution Engine is an open-source drift detector for AI-assisted development. It tracks your SDLC signals like git commit patterns, CI pipelines, dependencies, deployments, test results, and code coverage, and alerts when there's a significant deviation from your...

xakat is a tool for analyzing, reporting and assessing PHP code source efficiently and systematically. Exakat processes PHP 5.2 to 7.4 and 8.0 code, as well as reporting on security, performance, code quality, migration.

PC-lint Plus is the premier static analysis tool for C and C++.

Performant type-checking for python.

Pytype checks and infers types for your Python code - without requiring type annotations.

MigrationPilot analyzes PostgreSQL DDL for lock conflicts, missing safeguards, and risky ALTER TABLE patterns. 80 safety rules powered by the real PostgreSQL parser. Features include lock analysis, risk scoring, auto-fix suggestions, safe migration alternatives, and CI/CD...

Flake8 is a wrapper around PyFlakes, pep8 and Ned Batchelder's McCabe script and displays the warnings in a per-file, merged output.

Pyanalyze is a semi-static type checker for Python code. Like a static type checker (e.g., mypy or pyright), it detects type errors in your code so bugs can be found before they reach production. Unlike such tools, however, it imports the modules it type checks, enabling...

Kiuwan Application Security is an end-to-end Appsec platform. Monitoring, action plans and seamless integration within unlocalized teams are but a few of the features offered by Kiuwan.