Result summary:
Pass: 1 / 21
Errors: 20
Warnings: 20
Infos: 30
Title: CommandAnalysis name
Theme: LightDark-greyDark-blue
[SUCCESS] Command: true can take useless params and still be one true selfAnalysis name: true
[WARNING] Command: uninitialized_value with suppressionsAnalysis name: suppressions / uninitialized_value Warnings: 5
Infos: 5
[ERROR] Command: definitely_lostAnalysis name: test / bin / definitely_lost Errors: 2
[WARNING] Command: fishy_argument_valueAnalysis name: test / bin / fishy_argument_value Warnings: 1
[ERROR] Command: illegal_memory_pool_addrAnalysis name: test / bin / illegal_memory_pool_addr Errors: 1
Infos: 1
[ERROR] Command: indirectly_lostAnalysis name: test / bin / indirectly_lost Errors: 4
[ERROR] Command: invalid_readAnalysis name: test / bin / invalid_read Errors: 1
Infos: 2
[ERROR] Command: invalid_writeAnalysis name: test / bin / invalid_write Errors: 2
Infos: 3
[ERROR] Command: jump_to_invalid_addrAnalysis name: test / bin / jump_to_invalid_addr Errors: 1
Infos: 2
[WARNING] Command: mismatched_deleteAnalysis name: test / bin / mismatched_delete Warnings: 1
Infos: 1
[ERROR] Command: overlapping_blocksAnalysis name: test / bin / overlapping_blocks Errors: 1
Infos: 1
[ERROR] Command: overlapping_src_destAnalysis name: test / bin / overlapping_src_dest Errors: 1
[WARNING] Command: possibly_lostAnalysis name: test / bin / possibly_lost Warnings: 2
[ERROR] Command: still_reachableAnalysis name: test / bin / still_reachable Errors: 2
[ERROR] Command: syscall_param_contains_uninitialized_bytesAnalysis name: test / bin / syscall_param_contains_uninitialized_bytes Errors: 1
Infos: 1
[ERROR] Command: syscall_param_points_to_uninitialized_bytesAnalysis name: test / bin / syscall_param_points_to_uninitialized_bytes Errors: 1
Infos: 2
[ERROR] Command: unaddressable_bytesAnalysis name: test / bin / unaddressable_bytes Errors: 1
Infos: 1
[WARNING] Command: uninitialized_valueAnalysis name: test / bin / uninitialized_value Warnings: 5
Infos: 5
[ERROR] Command: valgrind_client_checksAnalysis name: test / bin / valgrind_client_checks Errors: 2
Infos: 3
[WARNING] Command: valgrind_warningsAnalysis name: test / bin / valgrind_warnings Warnings: 4
[WARNING] Command: invalid_deleteAnalysis name: z / test / bin / invalid_delete Warnings: 2
Infos: 3