index
:
honours
master
My honours project from 2012.
Carlo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
clang
/
test
/
Analysis
Mode
Name
Size
-rw-r--r--
CFContainers.mm
10212
log
plain
about
-rw-r--r--
CFDateGC.m
3475
log
plain
about
-rw-r--r--
CFNumber.c
2099
log
plain
about
-rw-r--r--
CFRetainRelease_NSAssertionHandler.m
3167
log
plain
about
-rw-r--r--
CGColorSpace.c
777
log
plain
about
-rw-r--r--
CheckNSError.m
2125
log
plain
about
-rw-r--r--
MissingDealloc.m
2597
log
plain
about
-rw-r--r--
NSPanel.m
3248
log
plain
about
-rw-r--r--
NSString.m
13612
log
plain
about
-rw-r--r--
NSWindow.m
3642
log
plain
about
-rw-r--r--
NoReturn.m
3441
log
plain
about
-rw-r--r--
OSAtomic_mac.cpp
908
log
plain
about
-rw-r--r--
ObjCProperties.m
599
log
plain
about
-rw-r--r--
ObjCRetSigs.m
525
log
plain
about
-rw-r--r--
PR2599.m
3560
log
plain
about
-rw-r--r--
PR2978.m
1511
log
plain
about
-rw-r--r--
PR3991.m
3836
log
plain
about
-rw-r--r--
PR7218.c
231
log
plain
about
-rw-r--r--
PR9741.cpp
148
log
plain
about
-rw-r--r--
additive-folding-range-constraints.c
2352
log
plain
about
-rw-r--r--
additive-folding.c
4112
log
plain
about
-rw-r--r--
analyzeOneFunction.m
1554
log
plain
about
-rw-r--r--
analyze_display_progress.c
234
log
plain
about
-rw-r--r--
analyzer-stats.c
298
log
plain
about
-rw-r--r--
array-struct-region.c
1689
log
plain
about
-rw-r--r--
array-struct.c
3400
log
plain
about
-rw-r--r--
auto-obj-dtors-cfg-output.cpp
24572
log
plain
about
-rw-r--r--
base-init.cpp
388
log
plain
about
-rw-r--r--
blocks.m
3883
log
plain
about
-rw-r--r--
bool-assignment.cpp
1987
log
plain
about
-rw-r--r--
bool-assignment2.c
904
log
plain
about
-rw-r--r--
bstring.c
10582
log
plain
about
-rw-r--r--
casts.c
1923
log
plain
about
-rw-r--r--
casts.m
1144
log
plain
about
-rw-r--r--
cfref_PR2519.c
3057
log
plain
about
-rw-r--r--
cfref_rdar6080742.c
3268
log
plain
about
-rw-r--r--
check-deserialization.cpp
441
log
plain
about
-rw-r--r--
chroot.c
659
log
plain
about
-rw-r--r--
complex.c
663
log
plain
about
-rw-r--r--
concrete-address.c
182
log
plain
about
-rw-r--r--
constant-folding.c
3169
log
plain
about
-rw-r--r--
coverage.c
2165
log
plain
about
-rw-r--r--
cstring-syntax-cxx.cpp
304
log
plain
about
-rw-r--r--
cstring-syntax.c
916
log
plain
about
-rw-r--r--
cxx-crashes.cpp
582
log
plain
about
-rw-r--r--
dead-stores.c
12062
log
plain
about
-rw-r--r--
dead-stores.cpp
3217
log
plain
about
-rw-r--r--
dead-stores.m
2993
log
plain
about
-rw-r--r--
debug-CallGraph.c
344
log
plain
about
-rw-r--r--
default-analyze.m
1293
log
plain
about
-rw-r--r--
default-diagnostic-visitors.c
564
log
plain
about
-rw-r--r--
delegates.m
4537
log
plain
about
-rw-r--r--
derived-to-base.cpp
182
log
plain
about
-rw-r--r--
div-zero.cpp
247
log
plain
about
-rw-r--r--
domtest.c
2294
log
plain
about
-rw-r--r--
dtor.cpp
270
log
plain
about
-rw-r--r--
dtors-in-dtor-cfg-output.cpp
1077
log
plain
about
-rw-r--r--
dynamic-cast.cpp
4638
log
plain
about
-rw-r--r--
elementtype.c
347
log
plain
about
-rw-r--r--
exercise-ps.c
830
log
plain
about
-rw-r--r--
fields.c
405
log
plain
about
-rw-r--r--
free.c
2215
log
plain
about
-rw-r--r--
func.c
226
log
plain
about
-rw-r--r--
global-region-invalidation.c
2055
log
plain
about
-rw-r--r--
html-diags-multifile.c
414
log
plain
about
-rw-r--r--
html-diags-multifile.h
70
log
plain
about
-rw-r--r--
html-diags.c
538
log
plain
about
-rw-r--r--
idempotent-operations-limited-loops.c
1128
log
plain
about
-rw-r--r--
idempotent-operations.c
7132
log
plain
about
-rw-r--r--
idempotent-operations.cpp
901
log
plain
about
-rw-r--r--
idempotent-operations.m
1422
log
plain
about
-rw-r--r--
initializer.cpp
226
log
plain
about
-rw-r--r--
initializers-cfg-output.cpp
2275
log
plain
about
-rw-r--r--
inline-not-supported.c
593
log
plain
about
-rw-r--r--
inline-plist.c
13807
log
plain
about
-rw-r--r--
inline-unique-reports.c
6797
log
plain
about
-rw-r--r--
inline.c
2169
log
plain
about
-rw-r--r--
inline2.c
450
log
plain
about
-rw-r--r--
inline3.c
327
log
plain
about
-rw-r--r--
inline4.c
407
log
plain
about
-rw-r--r--
iterators.cpp
3621
log
plain
about
-rw-r--r--
keychainAPI-diagnostic-visitor.m
1424
log
plain
about
-rw-r--r--
keychainAPI.m
13036
log
plain
about
-rw-r--r--
lambdas.cpp
590
log
plain
about
-rw-r--r--
lvalue.cpp
185
log
plain
about
-rw-r--r--
malloc-annotations.c
6566
log
plain
about
-rw-r--r--
malloc-interprocedural.c
2467
log
plain
about
-rw-r--r--
malloc-overflow.c
2417
log
plain
about
-rw-r--r--
malloc-overflow.cpp
191
log
plain
about
-rw-r--r--
malloc-plist.c
109134
log
plain
about
-rw-r--r--
malloc-sizeof.c
1874
log
plain
about
-rw-r--r--
malloc.c
17726
log
plain
about
-rw-r--r--
malloc.cpp
476
log
plain
about
-rw-r--r--
malloc.m
1029
log
plain
about
-rw-r--r--
malloc.mm
5886
log
plain
about
-rw-r--r--
method-arg-decay.m
5216
log
plain
about
-rw-r--r--
method-call-intra-p.cpp
737
log
plain
about
-rw-r--r--
method-call.cpp
778
log
plain
about
-rw-r--r--
misc-ps-64.m
2179
log
plain
about
-rw-r--r--
misc-ps-cxx0x.cpp
1479
log
plain
about
-rw-r--r--
misc-ps-eager-assume.m
5573
log
plain
about
-rw-r--r--
misc-ps-ranges.m
1083
log
plain
about
-rw-r--r--
misc-ps-region-store-i386.m
581
log
plain
about
-rw-r--r--
misc-ps-region-store-x86_64.m
588
log
plain
about
-rw-r--r--
misc-ps-region-store.cpp
12121
log
plain
about
-rw-r--r--
misc-ps-region-store.m
40921
log
plain
about
-rw-r--r--
misc-ps-region-store.mm
1442
log
plain
about
-rw-r--r--
misc-ps.c
3717
log
plain
about
-rw-r--r--
misc-ps.m
38300
log
plain
about
-rw-r--r--
new.cpp
287
log
plain
about
-rw-r--r--
nil-receiver-undefined-larger-than-voidptr-ret-region.m
651
log
plain
about
-rw-r--r--
nil-receiver-undefined-larger-than-voidptr-ret.m
3489
log
plain
about
-rw-r--r--
no-exit-cfg.c
417
log
plain
about
-rw-r--r--
no-outofbounds.c
1004
log
plain
about
-rw-r--r--
null-deref-ps-region.c
333
log
plain
about
-rw-r--r--
null-deref-ps.c
6874
log
plain
about
-rw-r--r--
nullptr.cpp
1840
log
plain
about
-rw-r--r--
objc-arc.m
7222
log
plain
about
-rw-r--r--
objc-bool.m
371
log
plain
about
-rw-r--r--
objc-method-coverage.m
458
log
plain
about
-rw-r--r--
operator-calls.cpp
282
log
plain
about
-rw-r--r--
out-of-bounds.c
4228
log
plain
about
-rw-r--r--
outofbound-notwork.c
777
log
plain
about
-rw-r--r--
outofbound.c
1877
log
plain
about
-rw-r--r--
override-werror.c
434
log
plain
about
-rw-r--r--
plist-output-alternate.m
38658
log
plain
about
-rw-r--r--
plist-output.m
51364
log
plain
about
-rw-r--r--
pr4209.m
3782
log
plain
about
-rw-r--r--
pr_2542_rdar_6793404.m
2023
log
plain
about
-rw-r--r--
pr_4164.c
1590
log
plain
about
-rw-r--r--
properties.m
3951
log
plain
about
-rw-r--r--
pthreadlock.c
2972
log
plain
about
-rw-r--r--
ptr-arith.c
6827
log
plain
about
-rw-r--r--
rdar-6442306-1.m
848
log
plain
about
-rw-r--r--
rdar-6540084.m
1779
log
plain
about
-rw-r--r--
rdar-6541136-region.c
1106
log
plain
about
-rw-r--r--
rdar-6562655.m
2119
log
plain
about
-rw-r--r--
rdar-6600344-nil-receiver-undefined-struct-ret.m
496
log
plain
about
-rw-r--r--
rdar-7168531.m
437
log
plain
about
-rw-r--r--
redefined_system.c
414
log
plain
about
-rw-r--r--
refcnt_naming.m
2352
log
plain
about
-rw-r--r--
reference.cpp
1182
log
plain
about
-rw-r--r--
region-1.m
3851
log
plain
about
-rw-r--r--
retain-release-gc-only.m
18889
log
plain
about
-rw-r--r--
retain-release-inline.m
17639
log
plain
about
-rw-r--r--
retain-release-path-notes-gc.m
4963
log
plain
about
-rw-r--r--
retain-release-path-notes.m
8612
log
plain
about
-rw-r--r--
retain-release-region-store.m
10841
log
plain
about
-rw-r--r--
retain-release.m
66385
log
plain
about
-rw-r--r--
retain-release.mm
18191
log
plain
about
-rw-r--r--
security-syntax-checks-no-emit.c
966
log
plain
about
-rw-r--r--
security-syntax-checks.m
9272
log
plain
about
-rw-r--r--
self-init.m
5252
log
plain
about
-rw-r--r--
sizeofpointer.c
249
log
plain
about
-rw-r--r--
stack-addr-ps.c
2612
log
plain
about
-rw-r--r--
stack-addr-ps.cpp
3789
log
plain
about
-rw-r--r--
stack-block-returned.cpp
329
log
plain
about
-rw-r--r--
stackaddrleak.c
1405
log
plain
about
-rw-r--r--
stats.c
272
log
plain
about
-rw-r--r--
stream.c
2247
log
plain
about
-rw-r--r--
string-fail.c
3615
log
plain
about
-rw-r--r--
string.c
29325
log
plain
about
-rw-r--r--
system-header-simulator-objc.h
4963
log
plain
about
-rw-r--r--
system-header-simulator.h
1074
log
plain
about
-rw-r--r--
taint-generic.c
5855
log
plain
about
-rw-r--r--
taint-tester.c
5767
log
plain
about
-rw-r--r--
taint-tester.cpp
698
log
plain
about
-rw-r--r--
taint-tester.m
539
log
plain
about
-rw-r--r--
temp-obj-dtors-cfg-output.cpp
26247
log
plain
about
-rw-r--r--
undef-buffers.c
934
log
plain
about
-rw-r--r--
uninit-msg-expr.m
2208
log
plain
about
-rw-r--r--
uninit-ps-rdar6145427.m
1647
log
plain
about
-rw-r--r--
uninit-vals-ps-region.m
2413
log
plain
about
-rw-r--r--
uninit-vals-ps.c
3047
log
plain
about
-rw-r--r--
uninit-vals.m
655
log
plain
about
-rw-r--r--
unions-region.m
1195
log
plain
about
-rw-r--r--
unix-fns.c
4212
log
plain
about
-rw-r--r--
unreachable-code-path.c
2560
log
plain
about
-rw-r--r--
unused-ivars.m
2930
log
plain
about
-rw-r--r--
variadic-method-types.m
5191
log
plain
about
-rw-r--r--
virtualcall.cpp
1200
log
plain
about