Live briefing
Everything about CodeSonar
Static code analysis tool
CodeSonar is a static code analysis tool from AdaCore, formerly by CodeSecure and GrammaTech. CodeSonar is used to find and fix bugs and security vulnerabilities in source and binary code. It performs whole-program, inter-procedural analysis with abstract interpretation on C, C++, C#, Java, as well as x86 and ARM binary executables and libraries. CodeSonar is typically used by teams developing or assessing software to track their quality or security weaknesses. CodeSonar supports Linux, BSD, FreeBSD, NetBSD, MacOS and Windows hosts and embedded operating systems and compilers. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: CodeSonarA 5-minute orientation
- Read the landmark paper: Defect-Type Analysis of Regional SW Development Companies using CodeSonarCited 0 times
- Go sideways: AbsIntA closely related topic
- Go sideways: Binary blobA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
đź“š Books worth reading
Open Library didn't respond; try again in a moment.
đź”— Related topics
- AbsInt AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department…
- Binary blob In the context of free and open-source software, proprietary software only available as a binary executable is referred to as a blob or binary blob. The…
- Cross-platform software Within computing, cross-platform software (also called multi-platform software, platform-agnostic software, or platform-independent software) is computer…
- Long double In C and related programming languages, long double refers to a floating-point data type that is often more precise than double precision though the language…
- Binary translation In computing, binary translation is a form of binary recompilation in which sequences of instructions (machine code or bytecode) are translated from a…
- GrammaTech GrammaTech is a cybersecurity research services company based in Ithaca, New York. The company was founded in 1988 as a technology spin-off of Cornell…
- Parasoft C/C++test Parasoft C/C++test is an integrated set of tools for testing C and C++ source code that software developers use to analyze, test, find defects, and measure…
- C99 C99 (C9X during its development, formally ISO/IEC 9899:1999) is a past version of the C programming language open standard. It extends the previous version…