https://github.com/epiqc/ScaffCC
History
Tip revision: 4d7bfa034cfaea4e8346396c6198cdd3e271d272 authored by Andrew Litteken on 23 April 2020, 16:55:47 UTC
Version 5 Upgrade! (#40)
Tip revision: 4d7bfa0
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

back to top