CodeSonar

CodeSonar

CodeSecure
+
+

Related Products

  • Parasoft
    142 Ratings
    Visit Website
  • TrustInSoft Analyzer
    6 Ratings
    Visit Website
  • ZeroPath
    2 Ratings
    Visit Website
  • Aikido Security
    226 Ratings
    Visit Website
  • Interfacing Integrated Management System (IMS)
    71 Ratings
    Visit Website
  • ERA EHS Software
    38 Ratings
    Visit Website
  • Resco Inspections+
    67 Ratings
    Visit Website
  • Reflectiz
    29 Ratings
    Visit Website
  • HSI Donesafe
    155 Ratings
    Visit Website
  • Checksum.ai
    1 Rating
    Visit Website

About

Axivion helps development teams deliver safer, cleaner, and more maintainable C, C++, and CUDA code by automatically detecting coding standard violations, security vulnerabilities, dead code, and code clones. It provides actionable recommendations and detailed analytics, helping teams track, resolve, and prevent defects early in the development process. Axivion also supports architecture verification, enabling teams to maintain modular and scalable codebases. Designed for safety-critical industries like automotive, aerospace, medical devices, and industrial automation, Axivion supports functional safety standards including MISRA, ISO 26262, and IEC 61508. By combining static code analysis with architecture verification, it helps teams maintain long-term code health, accelerate certification readiness, and deliver high-performance software while reducing technical debt and ensuring compliance.

About

CodeSonar employs a unified dataflow and symbolic execution analysis that examines the computation of the complete application. By not relying on pattern matching or similar approximations, CodeSonar's static analysis engine is extraordinarily deep, finding 3-5 times more defects on average than other static analysis tools. Unlike many software development tools, such as testing tools, compilers, configuration management, etc., SAST tools can be integrated into a team's development process at any time with ease. SAST technologies like CodeSonar simply attach to your existing build environments to add analysis information to your verification process. Like a compiler, CodeSonar does a build of your code using your existing build environment, but instead of creating object code, CodeSonar creates an abstract model of your entire program. From the derived model, CodeSonar’s symbolic execution engine explores program paths, reasoning about program variables and how they relate.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

C/C++ and CUDA developers

Audience

Development teams interested in a Static Application Security Testing (SAST) solution

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version
Free Trial

Pricing

No information available.
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Qt Group
Founded: 1995
Global, HQ in Finland
www.qt.io/product/quality-assurance/axivion-static-code-analysis

Company Information

CodeSecure
United States
www.grammatech.com/products/source-code-analysis

Alternatives

Helix QAC

Helix QAC

Perforce

Alternatives

Flawnter

Flawnter

CyberTest
Jtest

Jtest

Parasoft
SonarQube Server

SonarQube Server

SonarSource
SonarQube Server

SonarQube Server

SonarSource
SonarQube Cloud

SonarQube Cloud

SonarSource

Categories

Categories

Static Application Security Testing (SAST) Features

Application Security
Dashboard
Debugging
Deployment Management
IDE
Multi-Language Scanning
Real-Time Analytics
Source Code Scanning
Vulnerability Scanning

Static Code Analysis Features

Analytics / Reporting
Code Standardization / Validation
Multiple Programming Language Support
Provides Recommendations
Standard Security/Industry Libraries
Vulnerability Management

Integrations

C
C++
AWS GovCloud
Amazon Web Services (AWS)
Android
CUDA
Coco Code Coverage
CodeSentry
Docker
Eclipse IDE
JavaScript
Jenkins
Jira
Kotlin
Rust
Seeker
TypeScript
Visual Studio
Visual Studio Code

Integrations

C
C++
AWS GovCloud
Amazon Web Services (AWS)
Android
CUDA
Coco Code Coverage
CodeSentry
Docker
Eclipse IDE
JavaScript
Jenkins
Jira
Kotlin
Rust
Seeker
TypeScript
Visual Studio
Visual Studio Code
Claim Axivion Static Code Analysis and update features and information
Claim Axivion Static Code Analysis and update features and information
Claim CodeSonar and update features and information
Claim CodeSonar and update features and information