Apps with 'Static analysis' feature Page 2 of 3

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...

Valkyrie is a file verdict system that conducts several analysis using run-time behavior and hundreds of features from a file.

Parasoft is recognized by software development professionals as the leader in software development lifecycle automation. By integrating software development management, quality lifecycle management, and dev/test environment management through service virtualization, regression...

CODESYS is the leading manufacturer-independent IEC 61131-3 automation software for engineering control systems. It is used to program many hundreds of different controllers, PLCs, PACs and other automation system, even via an Industry 4.0 interface.

Relyze is an interactive software reverse engineering and analysis platform with the following main features:

Appknox is a mobile app security testing solution to detect and fix vulnerabilities in mobile apps using a combination of automated and manual tests.

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.

Offline PE, ELF, and Mach-O binary analyzer. Inspect headers, imports, exports, resources, and .NET metadata; demangle nine symbol schemes; verify Authenticode; diff two binaries; scan whole folders. A modern alternative to CFF Explorer, PE Explorer, and Dependency Walker.

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done...

Automated malware analysis sandbox that detonates files, URLs, documents and Windows kernel drivers in isolated virtual machines and returns a scored verdict.

Figure out complexity hotspots in the blink of an eye from a couple of very simple charts. They'll help you understand the architecture of the project & make it easier to keep it under control.

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.

ProjectCodeMeter Is a professional software tool for project managers to measure and estimate the Time, Cost, Complexity, Quality Metrics and Maintainability of software projects as well as Development Team Productivity by analyzing their source code.

Norma is an AI code governance tool for developers using coding agents. It connects to MCP-capable editors such as Cursor, Claude Code, Windsurf, Replit, Lovable and VS Code, and serves an organization's rules to the agent while code is being written.

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++.

SideCI is an automated code reviewing tool with GitHub. Speed up your code review and development cycle to improve productivity without requiring engineers to spend valuable time.

Code Buster reports dependency wiring, dead code, cycles, duplication, complexity, architecture-policy violations, feature flags, security and style heuristics, quality scores, and remediation plans.

Malprob is a leading malware detection and identification service, powered by cutting-edge AI technology. Our platform seamlessly connects to application programming interfaces (APIs) to deliver unparalleled cybersecurity to our clients.

SoftaCheck is a web app that helps you write better C/C++ code with fewer bugs. It integrates with your GitHub account and analyzes your code using static analysis tools to detect potential bugs. The app also generates support documentation for your entire code.

Performant type-checking for python.

ftnchek is a static analyzer for Fortran 77 programs. It is designed to detect certain errors in a Fortran program that a compiler usually does not.

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