| blob | 1d66d78b4136ba8532cc45aaedf1cb9abf3c2dda |
1 phis
2 supergraph
3 sjfink
4 sfink
5 satish
6 chandra
7 ipcfg
8 unmodelled
9 stephen
10 fink
11 interprocedural
12 julian
13 dolby
14 intraprocedural
15 noam
16 rinetzky
17 exe
18 ghostview
19 defacto
20 instanceof
21 reachability
22 getfield
23 yices
24 roca
25 stats
26 sic
27 parlance
28 demote
29 despoil
30 iff
31 bitvector
32 arraylength
33 overapproximation
34 entrypoints
35 callees
36 mod
37 putstatic
38 worklist
39 dataflow
40 ssa
41 overapproximate
42 callee
43 entrypoint
44 accessors
45 lite
46 collapsible
47 uncollapsible
48 snugglebug
49 popup
50 precomputed
51 pre
52 hoc
53 uglified
54 int
55 ints
56 temp
57 intensional
58 ith
59 filesystem
60 idempotent
61 smushes
62 smush
63 smushing
64 smushed
65 generics
66 javascript
67 classpath
68 primordial
69 stdout
70 stderr
71 mac
72 unescaped
73 subdirectories
74 dir
75 fiat
76 workspace
77 aying
78 fuzz
79 fuzztest
80 lang
81 fuzzing
82 typecheck
83 callable
84 lifecycle
85 servlet
86 classloader
87 multianewarray
88 len
89 wp
90 dest
91 src
92 phi
93 shrike
94 superinterface
95 subtype
96 junit
97 backedge
98 lhs
99 bytecode
100 alan
101 donovan
102 reps
103 horwitz
104 sagiv
105 manu
106 sridharan
107 grafj
108 superclasses
109 classloaders
110 jdolby
111 smarkstr
112 plugin
113 wacky
114 stdin
115 programatically
116 pei
117 athrow
118 checkcast
119 athrows
120 cahoon
121 eran
122 yahav
123 alexey
124 loginov
125 watchfire
126 finicky
127 rfuhrer
128 microbenchmarks
129 stringish
130 allocatable
131 defs
132 fallthrough
133 fallthru
134 servlets
135 ref
136 adonovan
137 malformed
138 analyses
139 monitorenter
140 monitorexit
141 dominators
142 yahave
143 factoid
144 offline
145 spec
146 factoids
147 xml
148 pistoia
149 checkcasts
150 synthetically
151 unhandled
152 decorator
153 conjoin
154 subsumption