JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.
If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.
If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.
| CodeSonar® 9.2p0 | CONFIDENTIAL | CodeSecure Inc |
Summaries are the mechanism used by CodeSonar to describe the effect of a procedure on its parameters, return value and/or calling environment. Procedures that have different effects under different conditions will have multiple corresponding summaries.
int abs(int num){
if (num < 0)
return -num;
return num;
}
For the function abs shown above, CodeSonar will store two summaries, one each for the two possible situations:
Procedure summaries are computed during the bottom-up analysis phase.
The following configuration file parameters control various aspects of summaries.
| MAX_MODIFIED_VALUES | Controls how many summaries per procedure will be stored in memory. |
| MAX_SUMMARIES_PER_PROCEDURE | Specifies a per-procedure bound on the number of modified values (outputs) that CodeSonar will keep track of in procedure summaries. |
| ROLLBACK_SUMMARIES_ON_ABORT | Specifies whether or not function summaries will be rolled back if TIME_LIMIT_INTRA_EXPLORE expires. |
| TAINT_MAX_MODIFIED_VALUES | For the taint analysis, specifies a per-procedure bound on the number of modified values (outputs and side effects) that CodeSonar will keep track of in procedure summaries. |
To report problems with this documentation, please visit https://support.codesecure.com/.