-
Notifications
You must be signed in to change notification settings - Fork 8
/
.gitignore
108 lines (89 loc) · 2.51 KB
/
.gitignore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa
# ocamlbuild working directory
_build/
# ocamlbuild targets
*.byte
*.native
# MacOSX
.DS_Store
# Emacs backup files
*.xml~
*.md~
*.ml~
*.mli~
*.sh~
*.yaml~
.gitignore~
# binary analyzer executables
CodeHawk/CHB/bchcmdline/chx86_analyze
CodeHawk/CHB/bchcmdline/chx86_inspect_summaries
CodeHawk/CHB/bchgui/chx86_gui
CodeHawk/CHB/bchcil/parseFile
# c analyzer executables
CodeHawk/CHC/cchcmdline/canalyzer
CodeHawk/CHC/cchcmdline/inspectsummaries
CodeHawk/CHC/cchcil/parseFile
CodeHawk/CHC/cchgui/chc_gui
# java analyzer executables
CodeHawk/CHJ/jchcmdline/chj_experiment
CodeHawk/CHJ/jchcmdline/chj_inspect
CodeHawk/CHJ/jchcmdline/chj_integrate
CodeHawk/CHJ/jchcmdline/chj_native
CodeHawk/CHJ/jchcmdline/chj_template
CodeHawk/CHJ/jchmuse/chj_efeatures
CodeHawk/CHJ/jchmuse/chj_features
CodeHawk/CHJ/jchmuse/chj_invariants
CodeHawk/CHJ/jchmuse/chj_patterns
CodeHawk/CHJ/jchstac/chj_class_invariants
CodeHawk/CHJ/jchstac/chj_initialize
CodeHawk/CHJ/jchstac/chj_translate_class
CodeHawk/CHJ/jchstac/chj_template
CodeHawk/CHJ/jchstacgui/chj_gui
CodeHawk/CHJ/jdksummaries/jdk.jar
# unit test artifacts
CodeHawk/CH_tests/CHB/testinputs/dnsmasq/dnsmasq.ch
CodeHawk/CH_tests/CHB/testinputs/lighttpd/lighttpd.ch
CodeHawk/CH_tests/CHB/bchlib/bCHApiParameterTest
CodeHawk/CH_tests/CHB/bchlib/bCHDemanglerTest
CodeHawk/CH_tests/CHB/bchlib/bCHDoublewordTest
CodeHawk/CH_tests/CHB/bchlib/bCHFunctionInfoTest
CodeHawk/CH_tests/CHB/bchlib/bCHImmediateTest
CodeHawk/CH_tests/CHB/bchlib/bCHLocationTest
# summaries
cchsummaries.jar
# oasis generated files
setup.data
setup.log
# Merlin configuring file for Vim and Emacs
.merlin
# CH_extern artifacts
CodeHawk/CH_extern/camlzip/dllcamlzip.so
CodeHawk/CH_extern/extlib/extBytes.mli
# cil build artefacts
CodeHawk/CHC/cil-1.7.3-develop/META
CodeHawk/CHC/cil-1.7.3-develop/lib/cil/
CodeHawk/CHC/cil-1.7.3-develop/lib/perl5/App/Cilly.pm
CodeHawk/CHC/cil-1.7.3-develop/lib/perl5/MYMETA.json
CodeHawk/CHC/cil-1.7.3-develop/lib/perl5/MYMETA.yml
CodeHawk/CHC/cil-1.7.3-develop/lib/perl5/Makefile
CodeHawk/CHC/cil-1.7.3-develop/lib/perl5/blib/
CodeHawk/CHC/cil-1.7.3-develop/lib/perl5/pm_to_blib
CodeHawk/CHC/cil-1.7.3-develop/share/
# CHB build artefact
CodeHawk/CHB/bchcmdline/chx86_make_app_summary
CodeHawk/CHB/bchcmdline/chx86_make_class_summary
CodeHawk/CHB/bchcmdline/chx86_make_const_summary
CodeHawk/CHB/bchcmdline/chx86_make_lib_summary
CodeHawk/CHB/bchcmdline/chx86_make_structdef
CodeHawk/CHB/bchsummaries/bchsummaries.jar
# CodeHawk logging
*.chlog
*.ch_error_log