https://github.com/epiqc/ScaffCC
Tip revision: 66a79944ee4cd116b27bc1a69137276885461db8 authored by Andrew Litteken on 28 September 2021, 15:30:02 UTC
Merge pull request #49 from AndrewLitteken/master
Merge pull request #49 from AndrewLitteken/master
Tip revision: 66a7994
File | Mode | Size |
---|---|---|
Checkers | ||
Inputs | ||
copypaste | ||
diagnostics | ||
engine | ||
exploded-graph-rewriter | ||
exploration_order | ||
html_diagnostics | ||
inlining | ||
objc | ||
unified-sources | ||
z3 | ||
CFContainers-invalid.c | -rw-r--r-- | 735 bytes |
CFContainers.mm | -rw-r--r-- | 12.4 KB |
CFNumber.c | -rw-r--r-- | 2.6 KB |
CFRetainRelease_NSAssertionHandler.m | -rw-r--r-- | 2.9 KB |
CGColorSpace.c | -rw-r--r-- | 613 bytes |
CheckNSError.m | -rw-r--r-- | 1.9 KB |
DeallocMissingRelease.m | -rw-r--r-- | 20.8 KB |
DeallocUseAfterFreeErrors.m | -rw-r--r-- | 10.7 KB |
DeleteWithNonVirtualDtor.cpp | -rw-r--r-- | 6.2 KB |
DynamicTypePropagation.m | -rw-r--r-- | 1.8 KB |
MPIMock.h | -rw-r--r-- | 1.7 KB |
Malloc+MismatchedDeallocator+NewDelete.cpp | -rw-r--r-- | 3.7 KB |
Malloc+MismatchedDeallocator_intersections.cpp | -rw-r--r-- | 1012 bytes |
Malloc+NewDelete_intersections.cpp | -rw-r--r-- | 724 bytes |
MemRegion.cpp | -rw-r--r-- | 1.6 KB |
MismatchedDeallocator-checker-test.mm | -rw-r--r-- | 6.7 KB |
MismatchedDeallocator-path-notes.cpp | -rw-r--r-- | 871 bytes |
MissingDealloc.m | -rw-r--r-- | 4.9 KB |
NSContainers.m | -rw-r--r-- | 9.6 KB |
NSPanel.m | -rw-r--r-- | 3.0 KB |
NSString.m | -rw-r--r-- | 14.5 KB |
NSWindow.m | -rw-r--r-- | 3.4 KB |
NewDelete+MismatchedDeallocator_intersections.cpp | -rw-r--r-- | 1.1 KB |
NewDelete-atomics.cpp | -rw-r--r-- | 2.6 KB |
NewDelete-checker-test.cpp | -rw-r--r-- | 10.2 KB |
NewDelete-custom.cpp | -rw-r--r-- | 1.6 KB |
NewDelete-intersections.mm | -rw-r--r-- | 2.6 KB |
NewDelete-path-notes.cpp | -rw-r--r-- | 1.4 KB |
NewDelete-sized-deallocation.cpp | -rw-r--r-- | 3.0 KB |
NewDelete-variadic.cpp | -rw-r--r-- | 541 bytes |
NewDeleteLeaks-PR18394.cpp | -rw-r--r-- | 310 bytes |
NewDeleteLeaks-PR19102.cpp | -rw-r--r-- | 1.3 KB |
NoReturn.m | -rw-r--r-- | 5.0 KB |
OSAtomic_mac.c | -rw-r--r-- | 1.0 KB |
OSAtomic_mac.cpp | -rw-r--r-- | 934 bytes |
ObjCProperties.m | -rw-r--r-- | 438 bytes |
ObjCPropertiesSyntaxChecks.m | -rw-r--r-- | 3.1 KB |
ObjCRetSigs.m | -rw-r--r-- | 522 bytes |
PR12905.c | -rw-r--r-- | 104 bytes |
PR24184.cpp | -rw-r--r-- | 2.2 KB |
PR2978.m | -rw-r--r-- | 2.5 KB |
PR37855.c | -rw-r--r-- | 557 bytes |
PR38208.c | -rw-r--r-- | 780 bytes |
PR3991.m | -rw-r--r-- | 3.1 KB |
PR40625.cpp | -rw-r--r-- | 308 bytes |
PR7218.c | -rw-r--r-- | 230 bytes |
PR9741.cpp | -rw-r--r-- | 170 bytes |
_Bool-increment-decrement.c | -rw-r--r-- | 2.5 KB |
a_flaky_crash.cpp | -rw-r--r-- | 15.8 KB |
additive-folding-range-constraints.c | -rw-r--r-- | 10.6 KB |
additive-folding.cpp | -rw-r--r-- | 6.1 KB |
aggrinit-cfg-output.cpp | -rw-r--r-- | 742 bytes |
analyzeOneFunction.m | -rw-r--r-- | 1.5 KB |
analyzer-checker-config.c | -rw-r--r-- | 934 bytes |
analyzer-checker-option-help.c | -rw-r--r-- | 4.3 KB |
analyzer-config.c | -rw-r--r-- | 5.0 KB |
analyzer-display-progress.cpp | -rw-r--r-- | 809 bytes |
analyzer-display-progress.m | -rw-r--r-- | 747 bytes |
analyzer-enabled-checkers.c | -rw-r--r-- | 2.0 KB |
analyzer-list-configs.c | -rw-r--r-- | 1.6 KB |
analyzer-stats.c | -rw-r--r-- | 907 bytes |
analyzer_test.py | -rw-r--r-- | 1.8 KB |
arc-zero-init.m | -rw-r--r-- | 1.1 KB |
array-struct-region.c | -rw-r--r-- | 10.2 KB |
array-struct-region.cpp | -rw-r--r-- | 6.9 KB |
array-struct.c | -rw-r--r-- | 3.8 KB |
asm-goto.cpp | -rw-r--r-- | 1.0 KB |
asm.cpp | -rw-r--r-- | 423 bytes |
atomics.c | -rw-r--r-- | 3.7 KB |
auto-obj-dtors-cfg-output.cpp | -rw-r--r-- | 44.5 KB |
autoreleasewritechecker_test.m | -rw-r--r-- | 10.4 KB |
base-init.cpp | -rw-r--r-- | 402 bytes |
bitwise-ops.c | -rw-r--r-- | 2.1 KB |
block-in-critical-section.cpp | -rw-r--r-- | 5.6 KB |
block-in-critical-section.m | -rw-r--r-- | 246 bytes |
blocks-no-inline.c | -rw-r--r-- | 1.3 KB |
blocks.m | -rw-r--r-- | 7.3 KB |
blocks.mm | -rw-r--r-- | 3.4 KB |
bool-assignment.c | -rw-r--r-- | 2.6 KB |
bool-increment.cpp | -rw-r--r-- | 1.6 KB |
bsd-string.c | -rw-r--r-- | 4.1 KB |
bstring.c | -rw-r--r-- | 13.5 KB |
bstring.cpp | -rw-r--r-- | 6.1 KB |
bug_hash_test.cpp | -rw-r--r-- | 3.8 KB |
bug_hash_test.m | -rw-r--r-- | 753 bytes |
builtin-functions.cpp | -rw-r--r-- | 3.0 KB |
builtin_signbit.cpp | -rw-r--r-- | 1.1 KB |
call-invalidation.cpp | -rw-r--r-- | 4.4 KB |
call_once.cpp | -rw-r--r-- | 8.8 KB |
cast-to-struct.cpp | -rw-r--r-- | 2.3 KB |
cast-value-logic.cpp | -rw-r--r-- | 3.9 KB |
cast-value-notes.cpp | -rw-r--r-- | 4.4 KB |
cast-value-state-dump.cpp | -rw-r--r-- | 1.6 KB |
cast-value-weird.cpp | -rw-r--r-- | 218 bytes |
castexpr-callback.c | -rw-r--r-- | 451 bytes |
casts.c | -rw-r--r-- | 7.0 KB |
casts.cpp | -rw-r--r-- | 2.3 KB |
casts.m | -rw-r--r-- | 1.0 KB |
cfg-indirect-goto-determinism.cpp | -rw-r--r-- | 1.4 KB |
cfg-openmp.cpp | -rw-r--r-- | 28.1 KB |
cfg-rich-constructors.cpp | -rw-r--r-- | 48.3 KB |
cfg-rich-constructors.mm | -rw-r--r-- | 3.1 KB |
cfg.cpp | -rw-r--r-- | 16.9 KB |
cfref_PR2519.c | -rw-r--r-- | 2.8 KB |
cfref_rdar6080742.c | -rw-r--r-- | 3.1 KB |
check-deserialization.cpp | -rw-r--r-- | 439 bytes |
checker-dependencies.c | -rw-r--r-- | 816 bytes |
checker-plugins.c | -rw-r--r-- | 5.1 KB |
chroot.c | -rw-r--r-- | 651 bytes |
comparison-implicit-casts.cpp | -rw-r--r-- | 3.8 KB |
complex-init-list.cpp | -rw-r--r-- | 231 bytes |
complex.c | -rw-r--r-- | 1.3 KB |
compound-literals.c | -rw-r--r-- | 329 bytes |
concrete-address.c | -rw-r--r-- | 201 bytes |
conditional-operator.cpp | -rw-r--r-- | 612 bytes |
conditional-path-notes.c | -rw-r--r-- | 3.3 KB |
const-method-call.cpp | -rw-r--r-- | 5.5 KB |
constant-folding.c | -rw-r--r-- | 5.1 KB |
constraint_manager_negate_difference.c | -rw-r--r-- | 2.9 KB |
conversion.c | -rw-r--r-- | 4.7 KB |
copy-elision.cpp | -rw-r--r-- | 10.5 KB |
copy-elision.mm | -rw-r--r-- | 378 bytes |
coverage.c | -rw-r--r-- | 2.4 KB |
crash-trace.c | -rw-r--r-- | 590 bytes |
cstring-plist.c | -rw-r--r-- | 854 bytes |
cstring-ranges.c | -rw-r--r-- | 542 bytes |
cstring-syntax-cxx.cpp | -rw-r--r-- | 435 bytes |
cstring-syntax-weird.c | -rw-r--r-- | 677 bytes |
cstring-syntax-weird2.c | -rw-r--r-- | 482 bytes |
cstring-syntax.c | -rw-r--r-- | 3.8 KB |
ctor.mm | -rw-r--r-- | 22.5 KB |
ctu-different-triples.cpp | -rw-r--r-- | 873 bytes |
ctu-hdr.h | -rw-r--r-- | 89 bytes |
ctu-import-threshold.c | -rw-r--r-- | 186 bytes |
ctu-main.c | -rw-r--r-- | 1.9 KB |
ctu-main.cpp | -rw-r--r-- | 4.9 KB |
ctu-unknown-parts-in-triples.cpp | -rw-r--r-- | 748 bytes |
cxx-callgraph.cpp | -rw-r--r-- | 591 bytes |
cxx-crashes.cpp | -rw-r--r-- | 1.1 KB |
cxx-for-range-cfg.cpp | -rw-r--r-- | 492 bytes |
cxx-for-range.cpp | -rw-r--r-- | 2.1 KB |
cxx-method-names.cpp | -rw-r--r-- | 566 bytes |
cxx-uninitialized-object-inheritance.cpp | -rw-r--r-- | 19.1 KB |
cxx-uninitialized-object-no-dereference.cpp | -rw-r--r-- | 635 bytes |
cxx-uninitialized-object-notes-as-warnings.cpp | -rw-r--r-- | 602 bytes |
cxx-uninitialized-object-ptr-ref.cpp | -rw-r--r-- | 22.5 KB |
cxx-uninitialized-object-unguarded-access.cpp | -rw-r--r-- | 7.7 KB |
cxx-uninitialized-object-unionlike-constructs.cpp | -rw-r--r-- | 3.0 KB |
cxx-uninitialized-object.cpp | -rw-r--r-- | 25.7 KB |
cxx11-crashes.cpp | -rw-r--r-- | 2.1 KB |
cxxnewexpr-callback-inline.cpp | -rw-r--r-- | 933 bytes |
cxxnewexpr-callback-noinline.cpp | -rw-r--r-- | 829 bytes |
dead-stores.c | -rw-r--r-- | 14.2 KB |
dead-stores.cpp | -rw-r--r-- | 5.6 KB |
dead-stores.m | -rw-r--r-- | 3.5 KB |
deadstores-driverkit.cpp | -rw-r--r-- | 762 bytes |
debug-CallGraph.cpp | -rw-r--r-- | 2.7 KB |
debug-iterator-modeling.cpp | -rw-r--r-- | 2.4 KB |
default-analyze.m | -rw-r--r-- | 1.3 KB |
default-diagnostic-visitors.c | -rw-r--r-- | 554 bytes |
delayed-template-parsing-crash.cpp | -rw-r--r-- | 493 bytes |
delegates.m | -rw-r--r-- | 4.9 KB |
derived-to-base.cpp | -rw-r--r-- | 10.3 KB |
designated-initializer-values.c | -rw-r--r-- | 1.5 KB |
designated-initializer.c | -rw-r--r-- | 1.1 KB |
disable-all-checks.c | -rw-r--r-- | 762 bytes |
dispatch-once.m | -rw-r--r-- | 4.5 KB |
div-zero.cpp | -rw-r--r-- | 246 bytes |
division-by-zero.c | -rw-r--r-- | 167 bytes |
domtest.c | -rw-r--r-- | 7.8 KB |
domtest.cpp | -rw-r--r-- | 1.7 KB |
dtor-cxx11.cpp | -rw-r--r-- | 342 bytes |
dtor.cpp | -rw-r--r-- | 11.8 KB |
dtors-in-dtor-cfg-output.cpp | -rw-r--r-- | 1.0 KB |
dump_egraph.c | -rw-r--r-- | 1.9 KB |
dump_egraph.cpp | -rw-r--r-- | 1.3 KB |
dynamic-cast.cpp | -rw-r--r-- | 5.2 KB |
dynamic_type_check.m | -rw-r--r-- | 807 bytes |
edges-new.mm | -rw-r--r-- | 10.3 KB |
egraph-asm-goto-no-crash.cpp | -rw-r--r-- | 608 bytes |
elementtype.c | -rw-r--r-- | 339 bytes |
end-function-return-stmt.cpp | -rw-r--r-- | 762 bytes |
enum-cast-out-of-range.c | -rw-r--r-- | 1.3 KB |
enum-cast-out-of-range.cpp | -rw-r--r-- | 15.5 KB |
enum.cpp | -rw-r--r-- | 1.3 KB |
exceptions.mm | -rw-r--r-- | 894 bytes |
exercise-ps.c | -rw-r--r-- | 1.1 KB |
explain-svals.c | -rw-r--r-- | 1.0 KB |
explain-svals.cpp | -rw-r--r-- | 5.0 KB |
explain-svals.m | -rw-r--r-- | 1.1 KB |
expr-inspection.c | -rw-r--r-- | 1.9 KB |
expr-inspection.cpp | -rw-r--r-- | 1.2 KB |
fields.c | -rw-r--r-- | 2.6 KB |
free.c | -rw-r--r-- | 2.5 KB |
fuchsia_handle.cpp | -rw-r--r-- | 8.2 KB |
func-mapping-test.cpp | -rw-r--r-- | 843 bytes |
func.c | -rw-r--r-- | 1000 bytes |
gcdantipatternchecker_test.m | -rw-r--r-- | 8.9 KB |
generics.m | -rw-r--r-- | 14.4 KB |
global-region-invalidation.c | -rw-r--r-- | 3.2 KB |
global_region_invalidation.mm | -rw-r--r-- | 5.4 KB |
globals.cpp | -rw-r--r-- | 2.6 KB |
gmalloc.c | -rw-r--r-- | 6.4 KB |
gtest.cpp | -rw-r--r-- | 4.4 KB |
handle_constructors_for_default_arguments.cpp | -rw-r--r-- | 3.3 KB |
handle_constructors_with_new_array.cpp | -rw-r--r-- | 2.4 KB |
hangs.c | -rw-r--r-- | 660 bytes |
html-diag-singlefile.c | -rw-r--r-- | 484 bytes |
html-diag-singlefile.h | -rw-r--r-- | 101 bytes |
html-diags-analyze-headers.c | -rw-r--r-- | 432 bytes |
html-diags-analyze-headers.h | -rw-r--r-- | 76 bytes |
html-diags-multifile.c | -rw-r--r-- | 367 bytes |
html-diags-multifile.h | -rw-r--r-- | 70 bytes |
html-diags.c | -rw-r--r-- | 933 bytes |
identical-expressions.cpp | -rw-r--r-- | 34.5 KB |
implicit-ctor-undef-value.cpp | -rw-r--r-- | 1.7 KB |
index-type.c | -rw-r--r-- | 1.3 KB |
initialization.c | -rw-r--r-- | 713 bytes |
initialization.cpp | -rw-r--r-- | 520 bytes |
initializer.cpp | -rw-r--r-- | 7.3 KB |
initializers-cfg-output.cpp | -rw-r--r-- | 10.4 KB |
inline-if-constexpr.cpp | -rw-r--r-- | 742 bytes |
inline-not-supported.c | -rw-r--r-- | 553 bytes |
inline-plist.c | -rw-r--r-- | 3.7 KB |
inline-unique-reports.c | -rw-r--r-- | 359 bytes |
inline.c | -rw-r--r-- | 2.7 KB |
inline.cpp | -rw-r--r-- | 10.5 KB |
inline2.c | -rw-r--r-- | 430 bytes |
inline3.c | -rw-r--r-- | 307 bytes |
inline4.c | -rw-r--r-- | 387 bytes |
inner-pointer.cpp | -rw-r--r-- | 16.3 KB |
invalid-a-na-ly-zer-con-fig-value.c | -rw-r--r-- | 3.2 KB |
invalid-analyzer-config-value.c | -rw-r--r-- | 3.0 KB |
invalid-checker-option.c | -rw-r--r-- | 3.8 KB |
invalidated-iterator.cpp | -rw-r--r-- | 3.2 KB |
iterator-modelling.cpp | -rw-r--r-- | 91.4 KB |
iterator-range.cpp | -rw-r--r-- | 9.3 KB |
ivars.m | -rw-r--r-- | 3.8 KB |
keychainAPI-diagnostic-visitor.m | -rw-r--r-- | 1.4 KB |
keychainAPI.m | -rw-r--r-- | 14.4 KB |
kmalloc-linux.c | -rw-r--r-- | 972 bytes |
lambda-notes.cpp | -rw-r--r-- | 416 bytes |
lambdas-generalized-capture.cpp | -rw-r--r-- | 1.1 KB |
lambdas.cpp | -rw-r--r-- | 8.0 KB |
lambdas.mm | -rw-r--r-- | 3.1 KB |
left-shift-cxx2a.cpp | -rw-r--r-- | 962 bytes |
lifetime-cfg-output.cpp | -rw-r--r-- | 23.4 KB |
lifetime-extension.cpp | -rw-r--r-- | 8.5 KB |
lifetime-extension.mm | -rw-r--r-- | 1.6 KB |
lit.local.cfg | -rw-r--r-- | 1.1 KB |
live-bindings-test.cpp | -rw-r--r-- | 2.7 KB |
live-stmts.cpp | -rw-r--r-- | 4.2 KB |
live-variables.cpp | -rw-r--r-- | 632 bytes |
live-variables.m | -rw-r--r-- | 742 bytes |
llvm-conventions.cpp | -rw-r--r-- | 7.7 KB |
localization-aggressive.m | -rw-r--r-- | 12.1 KB |
localization.m | -rw-r--r-- | 9.1 KB |
logical-ops.c | -rw-r--r-- | 1.4 KB |
loop-block-counts.c | -rw-r--r-- | 551 bytes |
loop-unrolling.cpp | -rw-r--r-- | 11.4 KB |
loop-widening-ignore-static-methods.cpp | -rw-r--r-- | 351 bytes |
loop-widening-notes.cpp | -rw-r--r-- | 2.9 KB |
loop-widening-preserve-reference-type.cpp | -rw-r--r-- | 574 bytes |
loop-widening.c | -rw-r--r-- | 5.5 KB |
loop-widening.cpp | -rw-r--r-- | 837 bytes |
loopexit-cfg-output.cpp | -rw-r--r-- | 10.7 KB |
lvalue.cpp | -rw-r--r-- | 211 bytes |
main.c | -rw-r--r-- | 1.2 KB |
main.cpp | -rw-r--r-- | 807 bytes |
malloc-annotations.c | -rw-r--r-- | 6.5 KB |
malloc-custom.c | -rw-r--r-- | 717 bytes |
malloc-fnptr-plist.c | -rw-r--r-- | 395 bytes |
malloc-free-after-return.cpp | -rw-r--r-- | 476 bytes |
malloc-interprocedural.c | -rw-r--r-- | 3.0 KB |
malloc-overflow.c | -rw-r--r-- | 2.4 KB |
malloc-overflow.cpp | -rw-r--r-- | 210 bytes |
malloc-overflow2.c | -rw-r--r-- | 1.2 KB |
malloc-plist.c | -rw-r--r-- | 4.8 KB |
malloc-protoype.c | -rw-r--r-- | 266 bytes |
malloc-sizeof.c | -rw-r--r-- | 2.7 KB |
malloc-sizeof.cpp | -rw-r--r-- | 926 bytes |
malloc-three-arg.c | -rw-r--r-- | 985 bytes |
malloc.c | -rw-r--r-- | 42.4 KB |
malloc.cpp | -rw-r--r-- | 4.2 KB |
malloc.m | -rw-r--r-- | 1.5 KB |
malloc.mm | -rw-r--r-- | 12.8 KB |
max-nodes-suppress-on-sink.c | -rw-r--r-- | 2.6 KB |
max-nodes-suppress-on-sink.cpp | -rw-r--r-- | 1.0 KB |
member-expr.cpp | -rw-r--r-- | 879 bytes |
method-arg-decay.m | -rw-r--r-- | 5.0 KB |
method-call-intra-p.cpp | -rw-r--r-- | 763 bytes |
method-call-path-notes.cpp | -rw-r--r-- | 2.0 KB |
method-call.cpp | -rw-r--r-- | 1005 bytes |
mig.mm | -rw-r--r-- | 11.9 KB |
misc-ps-64.m | -rw-r--r-- | 2.0 KB |
misc-ps-arm.m | -rw-r--r-- | 646 bytes |
misc-ps-cxx0x.cpp | -rw-r--r-- | 2.0 KB |
misc-ps-eager-assume.m | -rw-r--r-- | 5.4 KB |
misc-ps-ranges.m | -rw-r--r-- | 1.0 KB |
misc-ps-region-store-i386.m | -rw-r--r-- | 600 bytes |
misc-ps-region-store-x86_64.m | -rw-r--r-- | 607 bytes |
misc-ps-region-store.cpp | -rw-r--r-- | 16.2 KB |
misc-ps-region-store.m | -rw-r--r-- | 40.4 KB |
misc-ps-region-store.mm | -rw-r--r-- | 1.4 KB |
misc-ps.c | -rw-r--r-- | 5.8 KB |
misc-ps.m | -rw-r--r-- | 36.9 KB |
mismatched-iterator.cpp | -rw-r--r-- | 5.0 KB |
missing-bind-temporary.cpp | -rw-r--r-- | 3.8 KB |
mmap-writeexec.c | -rw-r--r-- | 1.9 KB |
model-file.cpp | -rw-r--r-- | 1.3 KB |
more-dtors-cfg-output.cpp | -rw-r--r-- | 9.7 KB |
mpichecker.cpp | -rw-r--r-- | 10.2 KB |
mpicheckernotes.cpp | -rw-r--r-- | 1.8 KB |
new-aligned.cpp | -rw-r--r-- | 423 bytes |
new-ctor-conservative.cpp | -rw-r--r-- | 1.1 KB |
new-ctor-inlined.cpp | -rw-r--r-- | 1.3 KB |
new-ctor-malloc.cpp | -rw-r--r-- | 849 bytes |
new-ctor-null-throw.cpp | -rw-r--r-- | 1.3 KB |
new-ctor-null.cpp | -rw-r--r-- | 954 bytes |
new-ctor-recursive.cpp | -rw-r--r-- | 3.4 KB |
new-ctor-symbolic.cpp | -rw-r--r-- | 917 bytes |
new-dynamic-types.cpp | -rw-r--r-- | 526 bytes |
new-with-exceptions.cpp | -rw-r--r-- | 1.7 KB |
new.cpp | -rw-r--r-- | 9.1 KB |
nil-receiver-undefined-larger-than-voidptr-ret-region.m | -rw-r--r-- | 615 bytes |
nil-receiver-undefined-larger-than-voidptr-ret.m | -rw-r--r-- | 3.4 KB |
nil-receiver.mm | -rw-r--r-- | 556 bytes |
no-exit-cfg.c | -rw-r--r-- | 436 bytes |
no-outofbounds.c | -rw-r--r-- | 894 bytes |
no-store-suppression.cpp | -rw-r--r-- | 687 bytes |
no-unreachable-dtors.cpp | -rw-r--r-- | 383 bytes |
non-diagnosable-assumptions.c | -rw-r--r-- | 1.7 KB |
nonnull-global-constants.mm | -rw-r--r-- | 3.6 KB |
nonnull.m | -rw-r--r-- | 5.1 KB |
nonnullparamchecker-crash.cpp | -rw-r--r-- | 244 bytes |
novoidtypecrash.c | -rw-r--r-- | 277 bytes |
null-deref-offsets.c | -rw-r--r-- | 1.4 KB |
null-deref-path-notes.c | -rw-r--r-- | 3.1 KB |
null-deref-path-notes.cpp | -rw-r--r-- | 811 bytes |
null-deref-path-notes.m | -rw-r--r-- | 2.3 KB |
null-deref-ps-region.c | -rw-r--r-- | 1.8 KB |
null-deref-ps.c | -rw-r--r-- | 7.1 KB |
null-deref-static.m | -rw-r--r-- | 913 bytes |
nullability-arc.mm | -rw-r--r-- | 994 bytes |
nullability-no-arc.mm | -rw-r--r-- | 3.0 KB |
nullability-notes.m | -rw-r--r-- | 1.9 KB |
nullability.c | -rw-r--r-- | 449 bytes |
nullability.m | -rw-r--r-- | 270 bytes |
nullability.mm | -rw-r--r-- | 17.2 KB |
nullability_nullonly.mm | -rw-r--r-- | 4.9 KB |
nullptr.cpp | -rw-r--r-- | 5.5 KB |
number-object-conversion.c | -rw-r--r-- | 2.7 KB |
number-object-conversion.cpp | -rw-r--r-- | 5.1 KB |
number-object-conversion.m | -rw-r--r-- | 6.6 KB |
number-object-conversion.mm | -rw-r--r-- | 470 bytes |
objc-arc.m | -rw-r--r-- | 8.3 KB |
objc-bool.m | -rw-r--r-- | 392 bytes |
objc-boxing.m | -rw-r--r-- | 2.8 KB |
objc-encode.m | -rw-r--r-- | 233 bytes |
objc-for.m | -rw-r--r-- | 8.0 KB |
objc-message.m | -rw-r--r-- | 1.3 KB |
objc-method-coverage.m | -rw-r--r-- | 438 bytes |
objc-properties.m | -rw-r--r-- | 2.2 KB |
objc-radar17039661.m | -rw-r--r-- | 1.8 KB |
objc-string.mm | -rw-r--r-- | 1.2 KB |
objc-subscript.m | -rw-r--r-- | 2.3 KB |
objc_invalidation.m | -rw-r--r-- | 11.8 KB |
objcpp-uninitialized-object.mm | -rw-r--r-- | 818 bytes |
offsetofexpr-callback.c | -rw-r--r-- | 378 bytes |
openmp-unsupported.c | -rw-r--r-- | 300 bytes |
operator-calls.cpp | -rw-r--r-- | 2.7 KB |
os_object_base.h | -rw-r--r-- | 2.1 KB |
os_smart_ptr.h | -rw-r--r-- | 1.3 KB |
osobject-retain-release.cpp | -rw-r--r-- | 30.1 KB |
osobjectcstylecastchecker_test.cpp | -rw-r--r-- | 864 bytes |
out-of-bounds-new.cpp | -rw-r--r-- | 4.2 KB |
out-of-bounds.c | -rw-r--r-- | 4.5 KB |
outofbound-notwork.c | -rw-r--r-- | 751 bytes |
outofbound.c | -rw-r--r-- | 2.8 KB |
override-werror.c | -rw-r--r-- | 656 bytes |
padding_c.c | -rw-r--r-- | 5.2 KB |
padding_cpp.cpp | -rw-r--r-- | 4.4 KB |
padding_inherit.cpp | -rw-r--r-- | 974 bytes |
padding_message.cpp | -rw-r--r-- | 5.3 KB |
placement-new-user-defined.cpp | -rw-r--r-- | 529 bytes |
placement-new.cpp | -rw-r--r-- | 5.1 KB |
plist-diagnostics-template-function.cpp | -rw-r--r-- | 987 bytes |
plist-diagnostics-template-record.cpp | -rw-r--r-- | 1.1 KB |
plist-html-macros.c | -rw-r--r-- | 873 bytes |
plist-macros-with-expansion-ctu.c | -rw-r--r-- | 2.2 KB |
plist-macros-with-expansion.cpp | -rw-r--r-- | 15.6 KB |
plist-macros.cpp | -rw-r--r-- | 1.9 KB |
plist-output-alternate.m | -rw-r--r-- | 1.8 KB |
plist-output.m | -rw-r--r-- | 3.4 KB |
plist-stats-output.c | -rw-r--r-- | 467 bytes |
pointer-arithmetic.c | -rw-r--r-- | 695 bytes |
pointer-escape-on-conservative-calls.c | -rw-r--r-- | 328 bytes |
pointer-to-member.cpp | -rw-r--r-- | 6.9 KB |
pr22954.c | -rw-r--r-- | 32.6 KB |
pr37802.cpp | -rw-r--r-- | 1.7 KB |
pr4209.m | -rw-r--r-- | 3.5 KB |
pr_2542_rdar_6793404.m | -rw-r--r-- | 2.0 KB |
pr_4164.c | -rw-r--r-- | 1.6 KB |
preprocessor-setup.c | -rw-r--r-- | 121 bytes |
properties.m | -rw-r--r-- | 29.3 KB |
properties.mm | -rw-r--r-- | 1.9 KB |
pthreadlock.c | -rw-r--r-- | 10.9 KB |
ptr-arith.c | -rw-r--r-- | 11.1 KB |
ptr-arith.cpp | -rw-r--r-- | 2.1 KB |
ptr-cmp-const-trunc.cl | -rw-r--r-- | 293 bytes |
ptr-iter.cpp | -rw-r--r-- | 958 bytes |
ptr-sort.cpp | -rw-r--r-- | 3.0 KB |
qt_malloc.cpp | -rw-r--r-- | 831 bytes |
range_casts.c | -rw-r--r-- | 4.1 KB |
rdar-6442306-1.m | -rw-r--r-- | 918 bytes |
rdar-6540084.m | -rw-r--r-- | 1.9 KB |
rdar-6541136-region.c | -rw-r--r-- | 1.1 KB |
rdar-6562655.m | -rw-r--r-- | 2.1 KB |
rdar-6600344-nil-receiver-undefined-struct-ret.m | -rw-r--r-- | 487 bytes |
rdar-7168531.m | -rw-r--r-- | 445 bytes |
redecl.c | -rw-r--r-- | 264 bytes |
redefined_system.c | -rw-r--r-- | 437 bytes |
refcnt_naming.m | -rw-r--r-- | 2.3 KB |
reference.cpp | -rw-r--r-- | 5.4 KB |
reference.mm | -rw-r--r-- | 374 bytes |
region-1.m | -rw-r--r-- | 3.8 KB |
region-store.c | -rw-r--r-- | 1.5 KB |
region-store.cpp | -rw-r--r-- | 405 bytes |
region_store_overflow.c | -rw-r--r-- | 381 bytes |
reinterpret-cast.cpp | -rw-r--r-- | 2.2 KB |
retain-count-alloc.cpp | -rw-r--r-- | 899 bytes |
retain-release-arc.m | -rw-r--r-- | 6.1 KB |
retain-release-cache-out.m | -rw-r--r-- | 750 bytes |
retain-release-cf-audited.m | -rw-r--r-- | 1.1 KB |
retain-release-cpp-classes.cpp | -rw-r--r-- | 840 bytes |
retain-release-inline.m | -rw-r--r-- | 22.8 KB |
retain-release-path-notes.m | -rw-r--r-- | 16.9 KB |
retain-release-region-store.m | -rw-r--r-- | 10.6 KB |
retain-release-safe.c | -rw-r--r-- | 3.1 KB |
retain-release.m | -rw-r--r-- | 86.6 KB |
retain-release.mm | -rw-r--r-- | 21.9 KB |
retaincountchecker-compoundregion.m | -rw-r--r-- | 1.2 KB |
return-ptr-range.cpp | -rw-r--r-- | 741 bytes |
return-stmt-merge.cpp | -rw-r--r-- | 1.2 KB |
return-value-guaranteed.cpp | -rw-r--r-- | 2.6 KB |
rvo.cpp | -rw-r--r-- | 561 bytes |
scopes-cfg-output.cpp | -rw-r--r-- | 35.8 KB |
security-syntax-checks-no-emit.c | -rw-r--r-- | 1.0 KB |
security-syntax-checks-nscoder.m | -rw-r--r-- | 2.0 KB |
security-syntax-checks.c | -rw-r--r-- | 921 bytes |
security-syntax-checks.m | -rw-r--r-- | 15.7 KB |
self-assign.cpp | -rw-r--r-- | 3.5 KB |
self-init.m | -rw-r--r-- | 6.2 KB |
shallow-mode.m | -rw-r--r-- | 630 bytes |
show-checker-list.c | -rw-r--r-- | 2.2 KB |
silence-checkers-and-packages-core-all.cpp | -rw-r--r-- | 1.3 KB |
silence-checkers-and-packages-core-div-by-zero.cpp | -rw-r--r-- | 479 bytes |
simple-stream-checks.c | -rw-r--r-- | 2.4 KB |
sizeofpack.cpp | -rw-r--r-- | 408 bytes |
sizeofpointer.c | -rw-r--r-- | 240 bytes |
smart-ptr.cpp | -rw-r--r-- | 868 bytes |
stack-addr-ps.c | -rw-r--r-- | 2.7 KB |
stack-addr-ps.cpp | -rw-r--r-- | 4.9 KB |
stack-block-returned.cpp | -rw-r--r-- | 328 bytes |
stack-capture-leak-arc.mm | -rw-r--r-- | 4.9 KB |
stack-capture-leak-no-arc.mm | -rw-r--r-- | 1.0 KB |
stack-frame-context-revision.cpp | -rw-r--r-- | 1001 bytes |
stackaddrleak.c | -rw-r--r-- | 2.1 KB |
static_local.m | -rw-r--r-- | 438 bytes |
stats.c | -rw-r--r-- | 292 bytes |
std-c-library-functions-inlined.c | -rw-r--r-- | 814 bytes |
std-c-library-functions.c | -rw-r--r-- | 6.1 KB |
std-c-library-functions.cpp | -rw-r--r-- | 540 bytes |
stream.c | -rw-r--r-- | 4.8 KB |
stream.cpp | -rw-r--r-- | 466 bytes |
string-fail.c | -rw-r--r-- | 3.5 KB |
string-with-signedness.c | -rw-r--r-- | 279 bytes |
string.c | -rw-r--r-- | 48.0 KB |
string.cpp | -rw-r--r-- | 865 bytes |
structured_bindings.cpp | -rw-r--r-- | 240 bytes |
superclass.m | -rw-r--r-- | 8.8 KB |
sval-dump-int128.c | -rw-r--r-- | 278 bytes |
svalbuilder-float-cast.c | -rw-r--r-- | 659 bytes |
svalbuilder-logic.c | -rw-r--r-- | 424 bytes |
svalbuilder-rearrange-comparisons.c | -rw-r--r-- | 34.6 KB |
switch-case.c | -rw-r--r-- | 6.2 KB |
symbol-escape.cpp | -rw-r--r-- | 1005 bytes |
symbol-reaper.c | -rw-r--r-- | 4.5 KB |
symbol-reaper.cpp | -rw-r--r-- | 1.5 KB |
taint-diagnostic-visitor.c | -rw-r--r-- | 1.6 KB |
taint-dumps.c | -rw-r--r-- | 408 bytes |
taint-generic.c | -rw-r--r-- | 12.2 KB |
taint-generic.cpp | -rw-r--r-- | 3.1 KB |
taint-tester.c | -rw-r--r-- | 5.5 KB |
taint-tester.cpp | -rw-r--r-- | 902 bytes |
taint-tester.m | -rw-r--r-- | 558 bytes |
temp-obj-dtors-cfg-output.cpp | -rw-r--r-- | 49.5 KB |
temp-obj-dtors-option.cpp | -rw-r--r-- | 614 bytes |
templates.cpp | -rw-r--r-- | 1.6 KB |
temporaries-callback-order.cpp | -rw-r--r-- | 858 bytes |
temporaries.cpp | -rw-r--r-- | 31.1 KB |
temporaries.mm | -rw-r--r-- | 551 bytes |
test-after-div-zero.c | -rw-r--r-- | 6.7 KB |
test-include-cpp.cpp | -rw-r--r-- | 320 bytes |
test-include-cpp.h | -rw-r--r-- | 138 bytes |
test-include.c | -rw-r--r-- | 569 bytes |
test-include.h | -rw-r--r-- | 49 bytes |
test-objc-non-nil-return-value-checker.m | -rw-r--r-- | 1.3 KB |
test-separate-retaincount.cpp | -rw-r--r-- | 1.2 KB |
test-variably-modified-types.c | -rw-r--r-- | 494 bytes |
this-pointer.cpp | -rw-r--r-- | 1.5 KB |
track-control-dependency-conditions.cpp | -rw-r--r-- | 35.0 KB |
track-control-dependency-conditions.m | -rw-r--r-- | 478 bytes |
traversal-algorithm.mm | -rw-r--r-- | 5.4 KB |
traversal-begin-end-function.c | -rw-r--r-- | 480 bytes |
traversal-path-unification.c | -rw-r--r-- | 685 bytes |
trustnonnullchecker_test.m | -rw-r--r-- | 5.1 KB |
trustnonnullchecker_test.mm | -rw-r--r-- | 235 bytes |
undef-buffers.c | -rw-r--r-- | 1.0 KB |
undef-call.c | -rw-r--r-- | 556 bytes |
uninit-const.c | -rw-r--r-- | 9.9 KB |
uninit-const.cpp | -rw-r--r-- | 3.9 KB |
uninit-msg-expr.m | -rw-r--r-- | 2.2 KB |
uninit-ps-rdar6145427.m | -rw-r--r-- | 1.6 KB |
uninit-sometimes.cpp | -rw-r--r-- | 10.1 KB |
uninit-val-const-likeness.c | -rw-r--r-- | 1.8 KB |
uninit-vals-union.c | -rw-r--r-- | 281 bytes |
uninit-vals.c | -rw-r--r-- | 5.7 KB |
uninit-vals.cpp | -rw-r--r-- | 814 bytes |
uninit-vals.m | -rw-r--r-- | 14.2 KB |
unions-region.m | -rw-r--r-- | 1.2 KB |
unions.cpp | -rw-r--r-- | 3.2 KB |
unix-api.c | -rw-r--r-- | 2.0 KB |
unix-api.cpp | -rw-r--r-- | 1.3 KB |
unix-fns.c | -rw-r--r-- | 7.5 KB |
unreachable-code-path.c | -rw-r--r-- | 3.9 KB |
unsupported-types.c | -rw-r--r-- | 1.3 KB |
unused-ivars.m | -rw-r--r-- | 3.2 KB |
use-after-move.cpp | -rw-r--r-- | 31.4 KB |
valist-as-lazycompound.c | -rw-r--r-- | 747 bytes |
valist-uninitialized-no-undef.c | -rw-r--r-- | 1.7 KB |
valist-uninitialized.c | -rw-r--r-- | 5.5 KB |
valist-unterminated.c | -rw-r--r-- | 5.4 KB |
variadic-method-types.m | -rw-r--r-- | 5.1 KB |
vector.m | -rw-r--r-- | 1.4 KB |
vfork.c | -rw-r--r-- | 3.4 KB |
virtualcall-fixits.cpp | -rw-r--r-- | 1.6 KB |
virtualcall-plist.cpp | -rw-r--r-- | 1.2 KB |
virtualcall.cpp | -rw-r--r-- | 4.6 KB |
virtualcall.h | -rw-r--r-- | 200 bytes |
vla.c | -rw-r--r-- | 1.9 KB |
weak-functions.c | -rw-r--r-- | 4.3 KB |
yaccignore.c | -rw-r--r-- | 331 bytes |
z3-crosscheck.c | -rw-r--r-- | 888 bytes |