# *created  "Fri Oct  2 16:35:24 2015" *by "Paul E. Black"
# *modified "Wed May  3 15:51:03 2017" *by "Paul E. Black"
#
# SATE V Ockham Criteria
#
# Rerun all generating and checking scripts in all subdirectories
#

.PHONY: all

all:
	cd ExtractWarnings; make
	# extracting sites takes a LONG time
	cd ExtractSites; make all
	# classes are in the same order as the paper.
	cd Class_Write_Outside_Buffer; make
	cd Class_Write_What_Where; make
	cd Class_Read_Outside_Buffer; make
	cd Class_Null_Pointer_Deref; make
	cd Class_Integer_Overflow; make
	# Integer underflow not run
	cd Class_Divide_By_Zero; make
	cd Class_Uninit_Variable; make
	cd Class_Return_Variable; make

# end of FinalReport/Makefile
