A curated list of awesome resources related to the Ada and SPARK programming language
Creative Commons Zero v1.0 Universal
641
stars
71
forks
source link
Add MAT (Memory Analysis Tool) intended to help understand where the memory is used #120
Closed
stcarrez closed 10 months ago
(relies on shared libraries and LD_PRELOAD to override malloc and friends)