Hardcoded string input no filtering construction : concatenation with simple quote

Hardcoded string input no filtering construction : concatenation with simple quote

Hardcoded string input no filtering construction : concatenation with simple quote

Hardcoded string input no filtering construction : concatenation with simple quote

Hardcoded string input no filtering construction : concatenation with simple quote

Hardcoded string input no filtering construction : concatenation with simple quote

Command line args no filtering sink : SHA512 function. Always Safe, unless SHA512 gets broken in the future.

Hardcoded string input no filtering sink : SHA512 function. Always Safe, unless SHA512 gets broken in the future.

input : direct user input in string no filtering sink : SHA512 function. Always Safe, unless SHA512 gets broken in the future.

input : shell commands no filtering sink : SHA512 function. Always Safe, unless SHA512 gets broken in the future.

Defect Type: Inappropriate code Defect Sub-type: Unused variable Description: Defect Free Code to identify false positives to identify the unused variable in a function

Defect Type: Concurrency defects Defect Sub-type: Unlock without lock Description: Defect Free Code to identify false positives to identify if a shared resource is unlocked without preceeding lock

Defect Type: Static memory defects Defect Sub-type: Static buffer underrun Description: Defect Free Code to identify false positives in stack underun condition

Defect Type: Stack related defects Defect Sub-type: Stack overflow Description: Defect Free Code to identify false positives in stack overflow conditions

Defect Type: Stack related defects Defect Sub-type: Cross thread stack access Description: Defect Free Code to identify false positives in cross thread access

Defect Type: Concurrency defects Defect Sub-type: Long lock Description: Defect Free Code to identify false positives of long lock conditions

Defect Type: Numerical defects Defect Sub-type: Integer sign lost because of unsigned cast Description: Defect Free Code to identify false positives in losing sign due to cast

Defect Type: Resource management defects Defect Sub-type: Return of a pointer to a local variable Description: Defect Free Code to identify false positives in return of local variables

Defect Type: Inappropriate code Defect Sub-type: Redundant conditions Description: Defect Free Code to identify false positives in redundant condition

Defect Type: Dynamic memory defects Defect Sub-type: Memory copy at overlapping areas Description: Defect Free Code to identify false positives in memory copy at overlapping areas

Defect Type: Misc defects Defect Sub-type: Non void function does not return value Description: Defect Free Code to identify false positives in conditions like having return value

Defect Type: Concurrency defects Defect Sub-type: Live lock Description: Defect Free Code to identify false positives in live lock - concurrency conditions

Defect Type: Dynamic memory defects Defect Sub-type: Assign small buffer for structure Description: Defect Free Code to identify false positives in lesser static memory allocation

Defect Type: Misc defects Defect Sub-type: Useless assignment Description: Defect Free Code to identify false positives during useless assignment

Defect Type: Inappropriate code Defect Sub-type: Improper termination of block Description: Defect Free Code to identify false positives during improper termination of block