Meet Aardvark, OpenAI’s security agent for code analysis and patching

Aardvark represents OpenAI’s entry into automated security research through agentic AI. By combining GPT-5’s language ...
EDN

Static-analysis tool checks critical code

CodeSonar source-code analysis tool version 3.4 includes support for enforcing the power of 10: rules for developing safety-critical code. The static-analysis tool performs a whole-program ...

TASKING and LDRA Expands Security Analysis, Verification and Reporting Capabilities to Reduce the Cost and Risk of Airborne Software Certification

LDRA, a TASKING Company, and a leader in automated software verification, traceability and standards compliance, today ...

FossID Expands Software Composition Analysis Beyond Open Source Detection

Custom knowledge base volumes simplify detection and tracking of commercial and proprietary components in your software. STOCKHOLM, SE / ACCESS Newswire / November 11, 2025 / FossID today announced th ...
InfoWorld

Microsoft C++ static analysis tool bolsters warning suppressions

The Microsoft C++ Code Analysis tool has been updated to provide better tracking, justification, and overall management of warning suppressions. These improvements lead to a more maintainable and ...