| Parent directory |
|
| Inputs |
|
| copypaste |
|
| diagnostics |
|
| engine |
|
| exploration_order |
|
| html_diagnostics |
|
| inlining |
|
| objc |
|
| unified-sources |
|
| z3 |
|
| CFContainers-invalid.c |
735 bytes |
| CFContainers.mm |
11071 bytes |
| CFDateGC.m |
3265 bytes |
| CFNumber.c |
2691 bytes |
| CFRetainRelease_NSAssertionHandler.m |
3005 bytes |
| CGColorSpace.c |
613 bytes |
| CheckNSError.m |
1915 bytes |
| DeallocMissingRelease.m |
21317 bytes |
| DeallocUseAfterFreeErrors.m |
10995 bytes |
| DeleteWithNonVirtualDtor.cpp |
6378 bytes |
| DynamicTypePropagation.m |
1864 bytes |
| MPIMock.h |
1750 bytes |
| Malloc+MismatchedDeallocator+NewDelete.cpp |
3822 bytes |
| Malloc+MismatchedDeallocator_intersections.cpp |
1012 bytes |
| Malloc+NewDelete_intersections.cpp |
724 bytes |
| MemRegion.cpp |
1662 bytes |
| MismatchedDeallocator-checker-test.mm |
6900 bytes |
| MismatchedDeallocator-path-notes.cpp |
13632 bytes |
| MissingDealloc.m |
4632 bytes |
| MisusedMovedObject.cpp |
21288 bytes |
| NSContainers.m |
9419 bytes |
| NSPanel.m |
3065 bytes |
| NSString.m |
14844 bytes |
| NSWindow.m |
3433 bytes |
| NewDelete+MismatchedDeallocator_intersections.cpp |
989 bytes |
| NewDelete-atomics.cpp |
2710 bytes |
| NewDelete-checker-test.cpp |
10008 bytes |
| NewDelete-custom.cpp |
2417 bytes |
| NewDelete-intersections.mm |
2640 bytes |
| NewDelete-path-notes.cpp |
20428 bytes |
| NewDelete-variadic.cpp |
541 bytes |
| NewDeleteLeaks-PR18394.cpp |
310 bytes |
| NewDeleteLeaks-PR19102.cpp |
1304 bytes |
| NoReturn.m |
5106 bytes |
| OSAtomic_mac.cpp |
934 bytes |
| ObjCProperties.m |
438 bytes |
| ObjCPropertiesSyntaxChecks.m |
3135 bytes |
| ObjCRetSigs.m |
522 bytes |
| PR12905.c |
104 bytes |
| PR24184.cpp |
2233 bytes |
| PR2599.m |
3552 bytes |
| PR2978.m |
2561 bytes |
| PR37855.c |
607 bytes |
| PR3991.m |
3204 bytes |
| PR7218.c |
230 bytes |
| PR9741.cpp |
170 bytes |
| _Bool-increment-decrement.c |
2546 bytes |
| additive-folding-range-constraints.c |
10850 bytes |
| additive-folding.cpp |
6193 bytes |
| analyzeOneFunction.m |
1562 bytes |
| analyzer-checker-config.c |
919 bytes |
| analyzer-config.c |
1420 bytes |
| analyzer-config.cpp |
1869 bytes |
| analyzer-display-progress.cpp |
809 bytes |
| analyzer-display-progress.m |
747 bytes |
| analyzer-enabled-checkers.c |
792 bytes |
| analyzer-stats.c |
907 bytes |
| analyzer_test.py |
1606 bytes |
| arc-zero-init.m |
1076 bytes |
| array-struct-region.c |
10428 bytes |
| array-struct-region.cpp |
5372 bytes |
| array-struct.c |
3865 bytes |
| atomics.c |
3729 bytes |
| auto-obj-dtors-cfg-output.cpp |
45529 bytes |
| autoreleasewritechecker_test.m |
10652 bytes |
| base-init.cpp |
402 bytes |
| bitwise-ops.c |
2125 bytes |
| block-in-critical-section.cpp |
5713 bytes |
| block-in-critical-section.m |
246 bytes |
| blocks-no-inline.c |
1297 bytes |
| blocks.m |
7293 bytes |
| blocks.mm |
3359 bytes |
| bool-assignment.c |
2635 bytes |
| bool-increment.cpp |
1611 bytes |
| bsd-string.c |
1362 bytes |
| bstring.c |
12415 bytes |
| bstring.cpp |
6060 bytes |
| bug_hash_test.cpp |
3935 bytes |
| bug_hash_test.m |
753 bytes |
| builtin-functions.cpp |
2930 bytes |
| builtin_signbit.cpp |
1123 bytes |
| call-invalidation.cpp |
4483 bytes |
| call_once.cpp |
9040 bytes |
| cast-to-struct.cpp |
2373 bytes |
| castexpr-callback.c |
451 bytes |
| casts.c |
5414 bytes |
| casts.cpp |
889 bytes |
| casts.m |
1025 bytes |
| cfg-indirect-goto-determinism.cpp |
1460 bytes |
| cfg-rich-constructors.cpp |
40716 bytes |
| cfg.cpp |
13958 bytes |
| cfref_PR2519.c |
2895 bytes |
| cfref_rdar6080742.c |
3128 bytes |
| check-deserialization.cpp |
439 bytes |
| checker-plugins.c |
317 bytes |
| chroot.c |
651 bytes |
| comparison-implicit-casts.cpp |
3877 bytes |
| complex-init-list.cpp |
231 bytes |
| complex.c |
484 bytes |
| compound-literals.c |
360 bytes |
| concrete-address.c |
201 bytes |
| conditional-operator.cpp |
573 bytes |
| conditional-path-notes.c |
79985 bytes |
| const-method-call.cpp |
5557 bytes |
| constant-folding.c |
5155 bytes |
| constraint_manager_negate_difference.c |
2520 bytes |
| conversion.c |
4253 bytes |
| coverage.c |
2498 bytes |
| crash-trace.c |
651 bytes |
| cstring-plist.c |
729 bytes |
| cstring-syntax-cxx.cpp |
435 bytes |
| cstring-syntax.c |
1050 bytes |
| ctor.mm |
22890 bytes |
| ctu-hdr.h |
89 bytes |
| ctu-main.cpp |
2208 bytes |
| cxx-crashes.cpp |
1146 bytes |
| cxx-for-range-cfg.cpp |
492 bytes |
| cxx-for-range.cpp |
72882 bytes |
| cxx-method-names.cpp |
566 bytes |
| cxx-uninitialized-object-inheritance.cpp |
17710 bytes |
| cxx-uninitialized-object-notes-as-warnings.cpp |
481 bytes |
| cxx-uninitialized-object-ptr-ref.cpp |
15216 bytes |
| cxx-uninitialized-object.cpp |
24330 bytes |
| cxx11-crashes.cpp |
2165 bytes |
| cxx17-mandatory-elision.cpp |
8235 bytes |
| cxxnewexpr-callback-inline.cpp |
933 bytes |
| cxxnewexpr-callback-noinline.cpp |
829 bytes |
| dangling-internal-buffer.cpp |
4976 bytes |
| dead-stores.c |
13455 bytes |
| dead-stores.cpp |
5172 bytes |
| dead-stores.m |
3585 bytes |
| debug-CallGraph.c |
1606 bytes |
| default-analyze.m |
1295 bytes |
| default-diagnostic-visitors.c |
554 bytes |
| delayed-template-parsing-crash.cpp |
493 bytes |
| delegates.m |
4988 bytes |
| derived-to-base.cpp |
10501 bytes |
| designated-initializer.c |
1150 bytes |
| disable-all-checks.c |
595 bytes |
| dispatch-once.m |
4616 bytes |
| div-zero.cpp |
246 bytes |
| division-by-zero.c |
167 bytes |
| domtest.c |
2336 bytes |
| dtor-cxx11.cpp |
342 bytes |
| dtor.cpp |
11704 bytes |
| dtors-in-dtor-cfg-output.cpp |
1040 bytes |
| dynamic-cast.cpp |
5309 bytes |
| dynamic_type_check.m |
807 bytes |
| edges-new.mm |
941661 bytes |
| elementtype.c |
339 bytes |
| enum.cpp |
1374 bytes |
| exceptions.mm |
894 bytes |
| exercise-ps.c |
1168 bytes |
| explain-svals.c |
1072 bytes |
| explain-svals.cpp |
5149 bytes |
| explain-svals.m |
1109 bytes |
| expr-inspection.c |
838 bytes |
| fields.c |
2689 bytes |
| free.c |
2423 bytes |
| func-mapping-test.cpp |
94 bytes |
| func.c |
962 bytes |
| gcdantipatternchecker_test.m |
9098 bytes |
| generics.m |
343871 bytes |
| global-region-invalidation.c |
3270 bytes |
| global_region_invalidation.mm |
5516 bytes |
| globals.cpp |
2373 bytes |
| gmalloc.c |
6517 bytes |
| gtest.cpp |
4572 bytes |
| hangs.c |
660 bytes |
| html-diag-singlefile.c |
484 bytes |
| html-diag-singlefile.h |
101 bytes |
| html-diags-analyze-headers.c |
432 bytes |
| html-diags-analyze-headers.h |
76 bytes |
| html-diags-multifile.c |
367 bytes |
| html-diags-multifile.h |
70 bytes |
| html-diags.c |
933 bytes |
| identical-expressions.cpp |
35371 bytes |
| implicit-ctor-undef-value.cpp |
1776 bytes |
| index-type.c |
1340 bytes |
| initialization.c |
713 bytes |
| initialization.cpp |
509 bytes |
| initializer.cpp |
6340 bytes |
| initializers-cfg-output.cpp |
4085 bytes |
| inline-not-supported.c |
553 bytes |
| inline-plist.c |
89654 bytes |
| inline-unique-reports.c |
11936 bytes |
| inline.c |
2809 bytes |
| inline.cpp |
10727 bytes |
| inline2.c |
430 bytes |
| inline3.c |
307 bytes |
| inline4.c |
387 bytes |
| iterator-range.cpp |
3215 bytes |
| ivars.m |
3845 bytes |
| keychainAPI-diagnostic-visitor.m |
1423 bytes |
| keychainAPI.m |
14355 bytes |
| kmalloc-linux.c |
969 bytes |
| lambda-notes.cpp |
8849 bytes |
| lambdas-generalized-capture.cpp |
1159 bytes |
| lambdas.cpp |
7582 bytes |
| lambdas.mm |
3202 bytes |
| lifetime-cfg-output.cpp |
23968 bytes |
| lifetime-extension.cpp |
8476 bytes |
| lit.local.cfg |
403 bytes |
| live-bindings-test.cpp |
2785 bytes |
| live-variables.cpp |
632 bytes |
| live-variables.m |
742 bytes |
| localization-aggressive.m |
12161 bytes |
| localization.m |
9292 bytes |
| logical-ops.c |
1157 bytes |
| loop-unrolling.cpp |
11676 bytes |
| loop-widening-notes.cpp |
2975 bytes |
| loop-widening-preserve-reference-type.cpp |
574 bytes |
| loop-widening.c |
5530 bytes |
| loopexit-cfg-output.cpp |
11002 bytes |
| lvalue.cpp |
211 bytes |
| malloc-annotations.c |
6490 bytes |
| malloc-custom.c |
717 bytes |
| malloc-fnptr-plist.c |
395 bytes |
| malloc-interprocedural.c |
3107 bytes |
| malloc-overflow.c |
2408 bytes |
| malloc-overflow.cpp |
210 bytes |
| malloc-overflow2.c |
1193 bytes |
| malloc-plist.c |
237605 bytes |
| malloc-protoype.c |
266 bytes |
| malloc-sizeof.c |
2753 bytes |
| malloc-sizeof.cpp |
926 bytes |
| malloc-three-arg.c |
985 bytes |
| malloc.c |
42562 bytes |
| malloc.cpp |
3986 bytes |
| malloc.m |
1530 bytes |
| malloc.mm |
12127 bytes |
| max-nodes-suppress-on-sink.c |
2619 bytes |
| max-nodes-suppress-on-sink.cpp |
1029 bytes |
| member-expr.cpp |
868 bytes |
| method-arg-decay.m |
5069 bytes |
| method-call-intra-p.cpp |
763 bytes |
| method-call-path-notes.cpp |
37771 bytes |
| method-call.cpp |
1005 bytes |
| misc-ps-64.m |
2001 bytes |
| misc-ps-arm.m |
646 bytes |
| misc-ps-cxx0x.cpp |
2073 bytes |
| misc-ps-eager-assume.m |
5564 bytes |
| misc-ps-ranges.m |
1047 bytes |
| misc-ps-region-store-i386.m |
600 bytes |
| misc-ps-region-store-x86_64.m |
607 bytes |
| misc-ps-region-store.cpp |
16567 bytes |
| misc-ps-region-store.m |
41398 bytes |
| misc-ps-region-store.mm |
1453 bytes |
| misc-ps.c |
5962 bytes |
| misc-ps.m |
37818 bytes |
| missing-bind-temporary.cpp |
3750 bytes |
| mmap-writeexec.c |
1994 bytes |
| model-file.cpp |
13723 bytes |
| mpichecker.cpp |
10492 bytes |
| mpicheckernotes.cpp |
1830 bytes |
| new-ctor-conservative.cpp |
1071 bytes |
| new-ctor-inlined.cpp |
1270 bytes |
| new-ctor-malloc.cpp |
849 bytes |
| new-ctor-null-throw.cpp |
595 bytes |
| new-ctor-null.cpp |
952 bytes |
| new-ctor-recursive.cpp |
3479 bytes |
| new-ctor-symbolic.cpp |
879 bytes |
| new-dynamic-types.cpp |
526 bytes |
| new-with-exceptions.cpp |
1716 bytes |
| new.cpp |
9245 bytes |
| nil-receiver-undefined-larger-than-voidptr-ret-region.m |
615 bytes |
| nil-receiver-undefined-larger-than-voidptr-ret.m |
3489 bytes |
| no-exit-cfg.c |
436 bytes |
| no-outofbounds.c |
894 bytes |
| no-unreachable-dtors.cpp |
383 bytes |
| non-diagnosable-assumptions.c |
1737 bytes |
| nonnull-global-constants.mm |
3022 bytes |
| nonnull.m |
5207 bytes |
| nonnullparamchecker-crash.cpp |
244 bytes |
| novoidtypecrash.c |
119 bytes |
| null-deref-offsets.c |
1448 bytes |
| null-deref-path-notes.c |
3096 bytes |
| null-deref-path-notes.cpp |
834 bytes |
| null-deref-path-notes.m |
46824 bytes |
| null-deref-ps-region.c |
1660 bytes |
| null-deref-ps.c |
7314 bytes |
| null-deref-static.m |
913 bytes |
| nullability-no-arc.mm |
3086 bytes |
| nullability-notes.m |
9648 bytes |
| nullability.c |
449 bytes |
| nullability.mm |
16326 bytes |
| nullability_nullonly.mm |
5053 bytes |
| nullptr.cpp |
6216 bytes |
| number-object-conversion.c |
2750 bytes |
| number-object-conversion.cpp |
5185 bytes |
| number-object-conversion.m |
6807 bytes |
| number-object-conversion.mm |
470 bytes |
| objc-arc.m |
99515 bytes |
| objc-bool.m |
392 bytes |
| objc-boxing.m |
2861 bytes |
| objc-encode.m |
233 bytes |
| objc-for.m |
8195 bytes |
| objc-message.m |
1311 bytes |
| objc-method-coverage.m |
438 bytes |
| objc-properties.m |
2271 bytes |
| objc-radar17039661.m |
50652 bytes |
| objc-string.mm |
1208 bytes |
| objc-subscript.m |
2406 bytes |
| objc_invalidation.m |
12102 bytes |
| offsetofexpr-callback.c |
378 bytes |
| openmp-unsupported.c |
198 bytes |
| operator-calls.cpp |
2800 bytes |
| out-of-bounds-new.cpp |
4309 bytes |
| out-of-bounds.c |
4591 bytes |
| outofbound-notwork.c |
751 bytes |
| outofbound.c |
2764 bytes |
| override-werror.c |
426 bytes |
| padding_c.c |
4798 bytes |
| padding_cpp.cpp |
4529 bytes |
| padding_message.cpp |
5436 bytes |
| plist-diagnostics-template-function.cpp |
987 bytes |
| plist-diagnostics-template-record.cpp |
1092 bytes |
| plist-html-macros.c |
855 bytes |
| plist-macros.cpp |
75029 bytes |
| plist-output-alternate.m |
67757 bytes |
| plist-output.m |
274615 bytes |
| plist-stats-output.c |
388 bytes |
| pointer-arithmetic.c |
695 bytes |
| pointer-to-member.cpp |
7073 bytes |
| pr22954.c |
33082 bytes |
| pr37802.cpp |
1696 bytes |
| pr4209.m |
3582 bytes |
| pr_2542_rdar_6793404.m |
2015 bytes |
| pr_4164.c |
1609 bytes |
| properties.m |
27203 bytes |
| properties.mm |
1971 bytes |
| pthreadlock.c |
11148 bytes |
| ptr-arith.c |
11251 bytes |
| ptr-arith.cpp |
2177 bytes |
| qt_malloc.cpp |
831 bytes |
| range_casts.c |
4206 bytes |
| rdar-6442306-1.m |
918 bytes |
| rdar-6540084.m |
1906 bytes |
| rdar-6541136-region.c |
1098 bytes |
| rdar-6562655.m |
2110 bytes |
| rdar-6600344-nil-receiver-undefined-struct-ret.m |
487 bytes |
| rdar-7168531.m |
445 bytes |
| redefined_system.c |
437 bytes |
| refcnt_naming.m |
2370 bytes |
| reference.cpp |
5461 bytes |
| reference.mm |
374 bytes |
| region-1.m |
3875 bytes |
| region-store.c |
1465 bytes |
| region-store.cpp |
405 bytes |
| region_store_overflow.c |
381 bytes |
| reinterpret-cast.cpp |
2295 bytes |
| retain-release-arc.m |
6355 bytes |
| retain-release-cache-out.m |
750 bytes |
| retain-release-cf-audited.m |
1153 bytes |
| retain-release-gc-only.m |
20504 bytes |
| retain-release-inline.m |
23364 bytes |
| retain-release-path-notes-gc.m |
63375 bytes |
| retain-release-path-notes.m |
260930 bytes |
| retain-release-region-store.m |
10868 bytes |
| retain-release-safe.c |
3154 bytes |
| retain-release.m |
1196794 bytes |
| retain-release.mm |
20769 bytes |
| retaincountchecker-compoundregion.m |
1238 bytes |
| return-ptr-range.cpp |
741 bytes |
| return-stmt-merge.cpp |
1188 bytes |
| scopes-cfg-output.cpp |
36673 bytes |
| security-syntax-checks-no-emit.c |
992 bytes |
| security-syntax-checks.m |
10881 bytes |
| self-assign.cpp |
3294 bytes |
| self-init.m |
6373 bytes |
| shallow-mode.m |
630 bytes |
| simple-stream-checks.c |
2287 bytes |
| sizeofpointer.c |
240 bytes |
| stack-addr-ps.c |
2769 bytes |
| stack-addr-ps.cpp |
5192 bytes |
| stack-block-returned.cpp |
328 bytes |
| stack-capture-leak-arc.mm |
4976 bytes |
| stack-capture-leak-no-arc.mm |
1025 bytes |
| stackaddrleak.c |
2073 bytes |
| static_local.m |
438 bytes |
| stats.c |
292 bytes |
| std-c-library-functions.c |
6007 bytes |
| std-c-library-functions.cpp |
533 bytes |
| stream.c |
2231 bytes |
| string-fail.c |
3535 bytes |
| string-with-signedness.c |
279 bytes |
| string.c |
44795 bytes |
| structured_bindings.cc |
202 bytes |
| superclass.m |
8960 bytes |
| sval-dump-int128.c |
278 bytes |
| svalbuilder-logic.c |
424 bytes |
| svalbuilder-rearrange-comparisons.c |
34985 bytes |
| switch-case.c |
6270 bytes |
| symbol-reaper.c |
3885 bytes |
| taint-diagnostic-visitor.c |
1665 bytes |
| taint-generic.c |
9067 bytes |
| taint-tester.c |
5597 bytes |
| taint-tester.cpp |
902 bytes |
| taint-tester.m |
558 bytes |
| temp-obj-dtors-cfg-output.cpp |
50438 bytes |
| temp-obj-dtors-option.cpp |
538 bytes |
| templates.cpp |
1591 bytes |
| temporaries-callback-order.cpp |
858 bytes |
| temporaries.cpp |
26483 bytes |
| test-after-div-zero.c |
6819 bytes |
| test-include-cpp.cpp |
320 bytes |
| test-include-cpp.h |
138 bytes |
| test-include.c |
569 bytes |
| test-include.h |
49 bytes |
| test-objc-non-nil-return-value-checker.m |
1369 bytes |
| test-variably-modified-types.c |
494 bytes |
| this-pointer.cpp |
1580 bytes |
| traversal-algorithm.mm |
5517 bytes |
| traversal-begin-end-function.c |
480 bytes |
| traversal-path-unification.c |
685 bytes |
| trustnonnullchecker_test.m |
1836 bytes |
| trustnonnullchecker_test.mm |
235 bytes |
| ubigraph-viz.cpp |
171 bytes |
| undef-buffers.c |
958 bytes |
| undef-call.c |
507 bytes |
| uninit-const.c |
9168 bytes |
| uninit-const.cpp |
3583 bytes |
| uninit-msg-expr.m |
2211 bytes |
| uninit-ps-rdar6145427.m |
1646 bytes |
| uninit-sometimes.cpp |
10384 bytes |
| uninit-vals-ps-region.m |
2711 bytes |
| uninit-vals-ps.c |
4057 bytes |
| uninit-vals-union.c |
281 bytes |
| uninit-vals.cpp |
696 bytes |
| uninit-vals.m |
6910 bytes |
| unions-region.m |
1193 bytes |
| unions.cpp |
2818 bytes |
| unix-api.c |
2099 bytes |
| unix-api.cpp |
1290 bytes |
| unix-fns.c |
137116 bytes |
| unreachable-code-path.c |
4028 bytes |
| unsupported-types.c |
1365 bytes |
| unused-ivars.m |
3271 bytes |
| valist-as-lazycompound.c |
747 bytes |
| valist-uninitialized-no-undef.c |
1770 bytes |
| valist-uninitialized.c |
5499 bytes |
| valist-unterminated.c |
5500 bytes |
| variadic-method-types.m |
5188 bytes |
| vector.m |
1417 bytes |
| vfork.c |
3474 bytes |
| virtualcall.cpp |
7362 bytes |
| virtualcall.h |
408 bytes |
| vla.c |
1987 bytes |
| weak-functions.c |
4387 bytes |
| yaccignore.c |
331 bytes |
| z3-crosscheck.c |
888 bytes |