|
|
1.1 ! root 1: CFLAGS = ! 2: OBJS = malloc_t.o cmalloc.o trace.expr.o trace1.o trace2.o trace3.o trace4.o trace5.o trace6.o trace7.o trace8.o trace9.o ! 3: DEST = /usr/bin ! 4: ! 5: # FILES: ! 6: # trace.h constants and macro definitions ! 7: # trace.d data structures ! 8: # trace.expr.c expressions ! 9: # trace1.c reads in the tables, sets up data structures ! 10: # trace2.c memory allocation ! 11: # trace3.c the symbolic execution procedures ! 12: # file "assert.c" is included in trace3.c ! 13: # trace4.c state space handler ! 14: # trace5.c hashed index for previously seen states ! 15: # trace6.c computes hash values ! 16: # trace7.c lookup table of queue state templates ! 17: # trace8.c 2nd order lookup tables ! 18: # trace9.c lookup table of leaf-states ! 19: # malloc_t.c memory allocation interface ! 20: ! 21: trace: $(OBJS) trace.d trace.h ! 22: $(CC) $(CFLAGS) $(OBJS) -o trace ! 23: ! 24: trace3.o: trace3.c assert.c ! 25: ! 26: pp: ! 27: pp -fPO makefile *.[cdh] | dcan ! 28: ! 29: wc: ! 30: wc *.[cdh] ! 31: ! 32: install: ! 33: strip trace ! 34: cp trace ${DEST}/trace ! 35: ! 36: clean: ! 37: rm -f *.o pret.out mon.out pret.tmp pret.err core a.out trace
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.