piumarta
  • Joined on Jul 30, 2020
Loading Heatmap…

piumarta pushed to master at piumarta/subc

  • b9d5e95391 detect leaked memory at the end of the program

1 month ago

piumarta pushed to master at piumarta/subc

  • c317b66d5e detect illegal pointer comparisons and pointers modified too far outside their base object

1 month ago

piumarta pushed to master at piumarta/subc

3 months ago

piumarta pushed to master at piumarta/subc

  • 07634df3dc handle command-line arguments properly

3 months ago

piumarta pushed to master at piumarta/subc

3 months ago

piumarta pushed to master at piumarta/subc

3 months ago

piumarta pushed to master at piumarta/subc

  • 18caf89d77 include file name and line number in syntax error messages

3 months ago

piumarta pushed to master at piumarta/subc

  • cc5f377864 handle typedefs of anonymous structures

3 months ago

piumarta pushed to master at piumarta/subc

  • 49d7a8cddf add test for access to uninitialised variable

3 months ago

piumarta pushed to master at piumarta/subc

  • d1abebcabc fix initialisation of char * from string literal

3 months ago

piumarta pushed to master at piumarta/subc

  • f411e2d569 be more relaxed about pointer comparisons

3 months ago

piumarta pushed to master at piumarta/subc

  • c12fa4fdad be more pedantic about correct types in pointer initialisation and assignment unless the value is (void *)0

3 months ago

piumarta pushed to master at piumarta/subc

  • 5d296aef92 add use-after-free test for common linked list deallocation bug

3 months ago

piumarta pushed to master at piumarta/subc

  • e6bf046263 handle recursive structures, loading and storing pointers to structures in members

3 months ago

piumarta pushed to master at piumarta/subc

  • 47ac124905 handle array and structure initialisers

3 months ago

piumarta pushed to master at piumarta/subc

3 months ago

piumarta pushed to master at piumarta/subc

  • c4ded90303 better printf(), handle initialisation of pointers and arrays from string literals

3 months ago

piumarta pushed to master at piumarta/subc

  • 49c896a266 handle comparisons between pointers and arrays, handle taking address of array

3 months ago

piumarta pushed to master at piumarta/subc

3 months ago

piumarta pushed to master at piumarta/subc

  • 30e9c9ba21 handle postinc of pointers, comparisons between pointers and pointers/arrays, conversion of arrays to pointers

3 months ago