Defect Type: Misc defects Defect Sub-type: Unintentional end less loop Description: Defect Free Code to identify false positives in unintentional endless looping

Defect Type: Concurrency defects Defect Sub-type: Double lock Description: Defect Free Code to identify false positives in double lock - concurrency defects

Defect Type: Concurrency defects Defect Sub-type: Dead lock Description: Defect Free Code to identify false positives in dead lock conditions

Defect Type: Inappropriate code Defect Sub-type: Dead code Description: Defect Free Code to identify false positives in dead code

Defect Type: Numerical defects Defect Sub-type: Data underflow Description: Defect Free Code to identify false positives in data underflow in static declaration

Defect Type: Numerical defects Defect Sub-type: Data overflow Description: Defect Free Code to identify false positives in data overflow in static declaration

Defect Type: Numerical defects Defect Sub-type: Integer precision lost because of cast Description: Defect Free Code to identify false positives in data lost at cast

Defect Type: Numerical defects Defect Sub-type: Bit shift bigger than integral type or negative Description: Defect Free Code to identify false positives in bit shift errors

Safe sample sanitize : none construction : try_catch

Safe sample sanitize : none construction : fopen with condition

Safe sample sanitize : error_reporting(0) construction : try_catch

Safe sample sanitize : error_reporting(0) construction : fopen with condition

Safe sample sanitize : error_reporting(0) construction : fopen

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in a double quoted event handler in a script

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in a quoted event handler in a script

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in one side of a double quoted expression in a script

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in one side of a quoted expression in a script

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in a double quoted string in a script

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in a simple quoted string in a script

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in a doubled quote attribute

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in a simple quote attribute

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in a div tag

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of http_build_query File : use of untrusted data in the body

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of rawurlencode File : use of untrusted data in a double quoted event handler in a script

Safe sample input : get the $_GET['userData'] in an array SANITIZE : use of rawurlencode File : use of untrusted data in a quoted event handler in a script