repo.or.cz
/
smatch.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
memops: we can kill addresses unconditionally
tree
db4d60869b0ad7aef4d45a1e9b40b86db7dc08cc
-rw-r--r--
425
.gitignore
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
Documentation
tree
|
history
-rw-r--r--
3391
FAQ
blob
|
blame
|
history
|
raw
-rw-r--r--
1494
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
8329
Makefile
blob
|
blame
|
history
|
raw
-rw-r--r--
3007
README
blob
|
blame
|
history
|
raw
-rw-r--r--
4776
allocate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2735
allocate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6860
ast-inspect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
330
ast-inspect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14722
ast-model.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2246
ast-model.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1165
ast-view.c
blob
|
blame
|
history
|
raw
-rw-r--r--
95
ast-view.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1436
bitmap.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1473
bits.h
blob
|
blame
|
history
|
raw
-rw-r--r--
30725
builtin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
353
builtin.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7842
c2xml.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
10739
cgcc
blob
|
blame
|
history
|
raw
-rw-r--r--
1062
cgcc.1
blob
|
blame
|
history
|
raw
-rw-r--r--
3428
char.c
blob
|
blame
|
history
|
raw
-rw-r--r--
148
char.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1143
compat-bsd.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1747
compat-cygwin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
119
compat-linux.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1602
compat-mingw.c
blob
|
blame
|
history
|
raw
-rw-r--r--
26
compat-solaris.c
blob
|
blame
|
history
|
raw
-rw-r--r--
685
compat.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
compat
tree
|
history
-rw-r--r--
56080
compile-i386.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2447
compile.c
blob
|
blame
|
history
|
raw
-rw-r--r--
199
compile.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8554
cse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
176
cse.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5729
ctags.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15608
dissect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
759
dissect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3438
dominate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
258
dominate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
101400
evaluate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
973
evaluate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
45183
example.c
blob
|
blame
|
history
|
raw
-rw-r--r--
33382
expand.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1536
expand.h
blob
|
blame
|
history
|
raw
-rw-r--r--
26626
expression.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9103
expression.h
blob
|
blame
|
history
|
raw
-rw-r--r--
23318
flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1339
flow.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4921
flowgraph.c
blob
|
blame
|
history
|
raw
-rw-r--r--
842
flowgraph.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4479
gcc-attr-list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5190
gdbhelpers
blob
|
blame
|
history
|
raw
-rw-r--r--
5794
graph.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
gvpr
tree
|
history
-rw-r--r--
2291
ident-list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15856
inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4084
ir.c
blob
|
blame
|
history
|
raw
-rw-r--r--
101
ir.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11721
lib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7208
lib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
69477
linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8612
linearize.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7280
liveness.c
blob
|
blame
|
history
|
raw
-rw-r--r--
227
liveness.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2935
machine.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6876
memops.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2211
obfuscate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1487
opcode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6905
opcode.def
blob
|
blame
|
history
|
raw
-rw-r--r--
1059
opcode.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2569
optimize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
122
optimize.h
blob
|
blame
|
history
|
raw
-rw-r--r--
24540
options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3493
options.h
blob
|
blame
|
history
|
raw
-rw-r--r--
85631
parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1639
parse.dtd
blob
|
blame
|
history
|
raw
-rw-r--r--
4464
parse.h
blob
|
blame
|
history
|
raw
-rw-r--r--
56661
pre-process.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9401
predefine.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11428
ptrlist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9752
ptrlist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2664
ptrmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
865
ptrmap.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10052
scheck.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4185
scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2174
scope.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2990
semind.1
blob
|
blame
|
history
|
raw
-rw-r--r--
28829
semind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28825
show-parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
70112
simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
192
simplify.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5723
sort.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
271
sparse-llvm-dis
blob
|
blame
|
history
|
raw
-rw-r--r--
31855
sparse-llvm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20058
sparse.1
blob
|
blame
|
history
|
raw
-rw-r--r--
8240
sparse.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
958
sparsec
blob
|
blame
|
history
|
raw
-rwxr-xr-x
404
sparsei
blob
|
blame
|
history
|
raw
-rw-r--r--
8816
ssa.c
blob
|
blame
|
history
|
raw
-rw-r--r--
98
ssa.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1714
stats.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6802
storage.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1749
storage.h
blob
|
blame
|
history
|
raw
-rw-r--r--
28326
symbol.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16775
symbol.h
blob
|
blame
|
history
|
raw
-rw-r--r--
986
target-alpha.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1078
target-arm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
847
target-arm64.c
blob
|
blame
|
history
|
raw
-rw-r--r--
563
target-bfin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
190
target-default.c
blob
|
blame
|
history
|
raw
-rw-r--r--
663
target-h8300.c
blob
|
blame
|
history
|
raw
-rw-r--r--
572
target-m68k.c
blob
|
blame
|
history
|
raw
-rw-r--r--
697
target-microblaze.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1272
target-mips.c
blob
|
blame
|
history
|
raw
-rw-r--r--
640
target-nds32.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1098
target-nios2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
582
target-openrisc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1679
target-ppc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3892
target-riscv.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1358
target-s390.c
blob
|
blame
|
history
|
raw
-rw-r--r--
666
target-sh.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1623
target-sparc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3487
target-x86.c
blob
|
blame
|
history
|
raw
-rw-r--r--
583
target-xtensa.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6630
target.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4217
target.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2731
test-dissect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
899
test-inspect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1716
test-lexing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2051
test-linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2422
test-parsing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
512
test-show-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
852
test-sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1693
test-unssa.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6662
token.h
blob
|
blame
|
history
|
raw
-rw-r--r--
23744
tokenize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3595
unssa.c
blob
|
blame
|
history
|
raw
-rw-r--r--
956
utils.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1330
utils.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
validation
tree
|
history
-rw-r--r--
84
version.c
blob
|
blame
|
history
|
raw