[updated] - Polyspace R2021a

Developing a paper on Polyspace R2021a—a static code analysis suite by MathWorks—requires focusing on its ability to prove the absence of critical run-time errors and ensure software safety and security in C/C++ projects [5, 10]. Paper Title Recommendation

Taint analysis – New “Tainted URL redirection” and “Tainted SQL” queries.

Coding standards – Added MISRA C++ 2008 (full coverage) and AUTOSAR C++14 rule sets (partial, ~80% rules).

Challenge: Previous static analysis produced 4,000+ warnings, requiring 6 person-months of manual triage per release. polyspace r2021a

8. Key Bug Fixes (R2021a)

• Fixed false positive Dereference of null pointer after static_cast of reference.
• Corrected parsing error on C++ alignas specifier.
• Resolved memory leak false positives with std::unique_ptr reset.
• Fixed crash when analyzing large arrays of function pointers.