source: CIVL/mods/dev.civl.com/examples/library/civlc/freeBad1.cvl@ cb4d4f4

#include <civlc.cvh>

void main(){
  int * a = (int*) $malloc($here, sizeof(int));
  
  $free(NULL);
  $free(a);
  *a = 9; //a has already been deallocated and the dereference is error prone.
}