Features

Description ART-0.8 ART-0.9
f000: Resource release after release detection + +
f001: Resource leak detection + +
f002: Broken API (when allocation function returns already allocated resource) detection + +
f003: Unallocated resource usage detection + +
f004: Resource usage after release detection + +
f005: Unused resource release detection + +
f006: Bad handle (NULL for memory, -1 for descriptors, ...) usage detection + +
f007: Wild handle usage detection + +
f008: Bad/wild handle release detection - +
f009: zero-size allocation detection - +
f010: wild memory reallocation detection - +
f011: reallocation into the same lenght memory - +
f012: Broken API (when called function never returns and halts target code) detection - -
f013: Resource out of bounds usage (memory, mappings, ...) detection - -
f014: Resource usage efficiency detection - -
t015: Stress testing for target code - -