parasoft
Parasoft rulewizard
I\'m trying to create a static rule to check the token passing for defensive programming in a SIL4 application.[详细]
2023-03-06 08:29 分类:问答Confusing control flow analysis from Parasoft C++test
We use Parasoft C++test to statically analyze our code. It\'s having trouble with code like the following:[详细]
2023-03-01 09:18 分类:问答How to mark a function as non-returning in Parasoft C++test?
We have a die function that outputs an error message and exits, e.g.: void die(const char* msg) { fprintf(stderr, \"Error: %s\\n\", msg);[详细]
2023-02-27 05:33 分类:问答Differences between gcc3 and gcc4 regarding uninitialized variables
We have a body of C++ code which is being ported from a RHEL4-based distro to RHEL-5-based. It used to compile with g++ 3.4.3, and now compiles with g++ 4.1.2.[详细]
2022-12-28 13:52 分类:问答