1 PREFIX?
=/home
/npalix
/Documents
/build
/coccinelle
/scripts
/coccicheck
3 SPFLAGS?
="-timeout 60 -use_glimpse -D org"
5 COCCI?
=/home
/npalix
/Documents
/build
/coccinelle
/scripts
/coccicheck
/cocci
6 RESULTS?
=/home
/npalix
/Documents
/build
/coccinelle
/scripts
/coccicheck
/results
8 .PHONY
:: update viewlog viewfilteredlog viewres checkcocci
9 .PHONY
:: all clean distclean depend
15 .
/bin
/update_result_tree
$(PREFIX
) $(PROJECT
) $(COCCI
) $(RESULTS
) $(SPFLAGS
)
18 find
$(RESULTS
) -name
"*.log" | xargs cat | pager
21 find
$(RESULTS
) -name
"*.log" | xargs cat | \
23 grep
-v
"HANDLING" | \
25 grep
-v
"Unsupported form of #define" | \
26 grep
-v
"no glimpse keyword inferred from snippet" | \
27 grep
-v
"EXN:Common.Timeout" | \
28 grep
-v
"FLOW: can't find exit or error exit:" | \
29 grep
-v
"FLOW: deadcode detected:" | \
30 grep
-v
"LEXER: identifier with dollar:" | \
31 grep
-v
"LEXER: unrecognised symbol in char:" | \
32 grep
-v
"LEXER: ZARB" | \
33 grep
-v
"CFG: orphelin nodes, maybe something weird happened" | \
34 grep
-v
"not worth trying" | \
35 grep
-v
"MultiFound field:" | \
36 grep
-ve
"(ONCE) warning: I consider .* as a constant" | \
37 grep
-ve
"TYPE: header .* not found"
40 find
$(RESULTS
) -name
"*.out" | xargs pager
43 for c in
`find $(COCCI) -name "*.cocci"`; do spatch
-parse_cocci
$$c > /dev
/null
; done
46 find
$(RESULTS
) -name
"*.out" -delete
47 find
$(RESULTS
) -name
"*.log" -delete