tree: c91df1d2de314870e2a4f74c4a0bbf5ff9616a7d [path history] [tgz]
  1. analyzer-stats/
  2. ArrayBound/
  3. cert/
  4. Checkers/
  5. copypaste/
  6. diagnostics/
  7. engine/
  8. exploded-graph-rewriter/
  9. exploration_order/
  10. html_diagnostics/
  11. inlining/
  12. Inputs/
  13. objc/
  14. scan-build/
  15. unified-sources/
  16. z3/
  17. _Bool-increment-decrement.c
  18. a_flaky_crash.cpp
  19. additive-folding-range-constraints.c
  20. additive-folding.cpp
  21. additive-op-on-sym-int-expr.c
  22. addrspace-null.c
  23. aggrinit-cfg-output.cpp
  24. analysis-after-multiple-dtors.cpp
  25. analyze-function-guide.cpp
  26. analyze-function-guide.m
  27. analyzeOneFunction.m
  28. analyzer-checker-config.c
  29. analyzer-checker-option-help.c
  30. analyzer-config.c
  31. analyzer-display-progress.cpp
  32. analyzer-display-progress.m
  33. analyzer-enabled-checkers.c
  34. analyzer-list-configs.c
  35. analyzer-note-analysis-entry-points.cpp
  36. analyzer-stats.c
  37. analyzer_test.py
  38. anonymous-decls.cpp
  39. arc-zero-init.m
  40. array-init-loop.cpp
  41. array-punned-region.c
  42. array-struct-region.c
  43. array-struct-region.cpp
  44. array-struct.c
  45. ArrayDelete.cpp
  46. asm-goto.cpp
  47. asm.cpp
  48. assume-controlled-environment.c
  49. assuming-unsigned-ge-0.c
  50. atomics.c
  51. auto-obj-dtors-cfg-output.cpp
  52. autoreleasewritechecker_test.m
  53. base-init.cpp
  54. bitint-no-crash.c
  55. bitwise-shift-common.c
  56. bitwise-shift-pedantic.c
  57. bitwise-shift-sanity-checks.c
  58. bitwise-shift-state-update.c
  59. block-in-critical-section-inheritance.cpp
  60. block-in-critical-section-nested-namespace.cpp
  61. block-in-critical-section.c
  62. block-in-critical-section.cpp
  63. block-in-critical-section.m
  64. blocks-no-inline.c
  65. blocks-nrvo.c
  66. blocks.m
  67. blocks.mm
  68. bool-assignment.c
  69. bool-increment.cpp
  70. bsd-string.c
  71. bstring.c
  72. bstring.cpp
  73. bstring_UninitRead.c
  74. buffer-overlap.c
  75. bug_hash_test.cpp
  76. bug_hash_test.m
  77. bugfix-124477.m
  78. builtin-functions.cpp
  79. builtin_assume.cpp
  80. builtin_bitcast.cpp
  81. builtin_overflow.c
  82. builtin_overflow_notes.c
  83. c11lock.c
  84. call-and-message.c
  85. call-and-message.cpp
  86. call-and-message.m
  87. call-and-message.mm
  88. call-invalidation.cpp
  89. call_once.cpp
  90. cast-to-struct.cpp
  91. cast-value-logic.cpp
  92. cast-value-notes.cpp
  93. cast-value-state-dump.cpp
  94. cast-value-weird.cpp
  95. castexpr-callback.c
  96. casts.c
  97. casts.cpp
  98. casts.m
  99. CFContainers-invalid.c
  100. CFContainers.mm
  101. cfg-indirect-goto-determinism.cpp
  102. cfg-openmp.cpp
  103. cfg-rich-constructors.cpp
  104. cfg-rich-constructors.mm
  105. cfg.c
  106. cfg.cpp
  107. CFNumber.c
  108. cfref_PR2519.c
  109. cfref_rdar6080742.c
  110. CFRetainRelease_NSAssertionHandler.m
  111. CGColorSpace.c
  112. check-analyzer-fixit.py
  113. check-deserialization.cpp
  114. checker-dependencies.c
  115. checker-plugins.c
  116. CheckNSError.m
  117. CheckThatArraySubsciptNodeIsNotCollected.cpp
  118. chroot.c
  119. class-object-state-dump.m
  120. comparison-implicit-casts.cpp
  121. complex-init-list.cpp
  122. complex.c
  123. compound-literals.c
  124. concrete-address.c
  125. conditional-operator.cpp
  126. conditional-path-notes.c
  127. const-method-call.cpp
  128. constant-folding-crash.cpp
  129. constant-folding.c
  130. constraint-assignor.c
  131. constraint_manager_conditions.cpp
  132. constraint_manager_negate.c
  133. constraint_manager_negate_difference.c
  134. container-modeling-no-aggressive-binary-operation-simplification-warn.cpp
  135. container-modeling.cpp
  136. conversion-tracking-notes.c
  137. conversion.c
  138. conversion.cpp
  139. copy-elision.cpp
  140. copy-elision.mm
  141. coverage.c
  142. crash-trace.c
  143. cstring-addrspace.c
  144. cstring-plist.c
  145. cstring-ranges.c
  146. cstring-syntax-cxx.cpp
  147. cstring-syntax-weird.c
  148. cstring-syntax-weird2.c
  149. cstring-syntax.c
  150. cstring-uninitread-notes.c
  151. csv2json.py
  152. ctor-array.cpp
  153. ctor-bug-path.cpp
  154. ctor-trivial-copy.cpp
  155. ctor.mm
  156. ctu-cxxdefaultinitexpr.cpp
  157. ctu-different-triples.cpp
  158. ctu-hdr.h
  159. ctu-implicit.c
  160. ctu-import-threshold.c
  161. ctu-inherited-default-ctor.cpp
  162. ctu-lookup-name-with-space.cpp
  163. ctu-main.c
  164. ctu-main.cpp
  165. ctu-on-demand-parsing.c
  166. ctu-on-demand-parsing.cpp
  167. ctu-onego-existingdef.cpp
  168. ctu-onego-indirect.cpp
  169. ctu-onego-small.cpp
  170. ctu-onego-toplevel.cpp
  171. ctu-test-import-failure.cpp
  172. ctu-unknown-parts-in-triples.cpp
  173. cxx-callgraph.cpp
  174. cxx-crashes.cpp
  175. cxx-dynamic-memory-analysis-order.cpp
  176. cxx-for-range-cfg.cpp
  177. cxx-for-range.cpp
  178. cxx-inherited-ctor-init-expr.cpp
  179. cxx-inherited-ctor-is-skipped-as-top-level.cpp
  180. cxx-member-initializer-const-field.cpp
  181. cxx-method-names.cpp
  182. cxx-uninitialized-object-inheritance.cpp
  183. cxx-uninitialized-object-no-dereference.cpp
  184. cxx-uninitialized-object-notes-as-warnings.cpp
  185. cxx-uninitialized-object-ptr-ref.cpp
  186. cxx-uninitialized-object-unguarded-access.cpp
  187. cxx-uninitialized-object-unionlike-constructs.cpp
  188. cxx-uninitialized-object.cpp
  189. cxx11-crashes.cpp
  190. cxx23-assume-attribute.cpp
  191. cxx23-static-operator.cpp
  192. cxx2b-deducing-this.cpp
  193. cxxctr-array-evalcall-analysis-order.cpp
  194. cxxctr-evalcall-analysis-order.cpp
  195. cxxnewexpr-callback.cpp
  196. dead-stores.c
  197. dead-stores.cpp
  198. dead-stores.m
  199. deadstores-driverkit.cpp
  200. DeallocMissingRelease.m
  201. DeallocUseAfterFreeErrors.m
  202. debug-CallGraph.cpp
  203. debug-checkers.cpp
  204. debug-container-modeling.cpp
  205. debug-exprinspection-istainted.c
  206. debug-iterator-modeling.cpp
  207. default-analyze.m
  208. default-diagnostic-visitors.c
  209. delayed-template-parsing-crash.cpp
  210. delegates.m
  211. DeleteWithNonVirtualDtor.cpp
  212. deprecated-flags-and-options.cpp
  213. derived-to-base.cpp
  214. designated-initializer-values.c
  215. designated-initializer.c
  216. disable-all-checks.c
  217. dispatch-once.m
  218. div-zero.cpp
  219. division-by-zero-track-zero.c
  220. division-by-zero-track-zero.cpp
  221. division-by-zero.c
  222. divzero-tainted-div-difference.c
  223. domtest.c
  224. domtest.cpp
  225. double-ranges-bug.c
  226. dtor-array.cpp
  227. dtor-cxx11.cpp
  228. dtor-union.cpp
  229. dtor.cpp
  230. dtors-in-dtor-cfg-output.cpp
  231. dump_egraph.c
  232. dump_egraph.cpp
  233. dynamic-cast.cpp
  234. dynamic_type_check.m
  235. DynamicTypePropagation.m
  236. edges-new.mm
  237. egraph-asm-goto-no-crash.cpp
  238. elementtype.c
  239. embed.c
  240. end-function-return-stmt.cpp
  241. enum-cast-out-of-range.c
  242. enum-cast-out-of-range.cpp
  243. enum.cpp
  244. equality_tracking.c
  245. errno-notes.c
  246. errno-options.c
  247. errno-stdlibraryfunctions-notes.c
  248. errno-stdlibraryfunctions.c
  249. errno.c
  250. eval-predefined-exprs.cpp
  251. exceptions.mm
  252. exercise-ps.c
  253. explain-svals.c
  254. explain-svals.cpp
  255. explain-svals.m
  256. expr-inspection-printState-diseq-info.c
  257. expr-inspection-printState-eq-classes.c
  258. expr-inspection.c
  259. expr-inspection.cpp
  260. fields.c
  261. find-binop-constraints.cpp
  262. fixed-address-notes.c
  263. fixed-point.c
  264. flexible-array-member.cpp
  265. flexible-array-members.c
  266. flexignore.c
  267. fread.c
  268. free.c
  269. free.cpp
  270. ftime-trace-bind.cpp
  271. ftime-trace-removeDead.cpp
  272. ftime-trace.cpp
  273. fuchsia_handle.cpp
  274. fuchsia_lock.c
  275. fuchsia_lock_impl.c
  276. func-mapping-test.cpp
  277. func.c
  278. gcdantipatternchecker_test.m
  279. generics.m
  280. getline-alloc.c
  281. getline-cpp.cpp
  282. getline-unixapi.c
  283. gh-issue-89185.c
  284. global-region-invalidation-errno.c
  285. global-region-invalidation.c
  286. global_region_invalidation.mm
  287. globals-are-not-always-immutable.c
  288. globals.c
  289. globals.cpp
  290. gmalloc.c
  291. gtest.cpp
  292. handle_constructors_for_default_arguments.cpp
  293. handle_constructors_with_new_array.cpp
  294. hangs.c
  295. html-diag-singlefile.c
  296. html-diag-singlefile.h
  297. html-diags-analyze-headers.c
  298. html-diags-analyze-headers.h
  299. html-diags-multifile.c
  300. html-diags-multifile.h
  301. html-diags.c
  302. implicit-ctor-undef-value.cpp
  303. incorrect-checker-names.cpp
  304. incorrect-checker-names.mm
  305. index-type.c
  306. infeasible-crash.c
  307. infeasible-sink.c
  308. initialization.c
  309. initialization.cpp
  310. initializer.cpp
  311. initializers-cfg-output.cpp
  312. inline-if-constexpr.cpp
  313. inline-not-supported.c
  314. inline-plist.c
  315. inline-unique-reports.c
  316. inline.c
  317. inline.cpp
  318. inline2.c
  319. inline3.c
  320. inline4.c
  321. inner-pointer.cpp
  322. int128-nocrash.c
  323. invalid-a-na-ly-zer-con-fig-value.c
  324. invalid-analyzer-config-value.c
  325. invalid-checker-option.c
  326. invalid-deref.c
  327. invalid-ptr-checker.c
  328. invalid-ptr-checker.cpp
  329. invalidated-iterator.cpp
  330. issue-124474.cpp
  331. issue-55019.cpp
  332. issue-70464.cpp
  333. issue-91835.cpp
  334. issue-94193.cpp
  335. Issue56873.cpp
  336. iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp
  337. iterator-modeling.cpp
  338. iterator-range.cpp
  339. ivars.m
  340. keychainAPI-diagnostic-visitor.m
  341. keychainAPI.m
  342. kmalloc-linux.c
  343. lambda-capture-structured-binding.cpp
  344. lambda-notes.cpp
  345. lambdas-generalized-capture.cpp
  346. lambdas-modern.cpp
  347. lambdas.cpp
  348. lambdas.mm
  349. lifetime-cfg-output.cpp
  350. lifetime-extended-regions.cpp
  351. lifetime-extension.cpp
  352. lifetime-extension.mm
  353. lit.local.cfg
  354. live-bindings-test.cpp
  355. live-stmts.cpp
  356. live-stmts.mm
  357. live-variables.cpp
  358. live-variables.m
  359. llvm-conventions.cpp
  360. localization-aggressive.m
  361. localization.m
  362. logical-ops.c
  363. loop-assumptions.c
  364. loop-block-counts.c
  365. loop-unrolling.cpp
  366. loop-widening-ignore-static-methods.cpp
  367. loop-widening-notes.cpp
  368. loop-widening-preserve-reference-type.cpp
  369. loop-widening.c
  370. loop-widening.cpp
  371. loopexit-cfg-output.cpp
  372. lvalue.cpp
  373. lvalue_elements.c
  374. main.c
  375. main.cpp
  376. Malloc+MismatchedDeallocator+NewDelete.cpp
  377. Malloc+MismatchedDeallocator_intersections.cpp
  378. malloc-annotations.c
  379. malloc-annotations.cpp
  380. malloc-bodyfarms.c
  381. malloc-bodyfarms.cpp
  382. malloc-custom.c
  383. malloc-fnptr-plist.c
  384. malloc-free-after-return.cpp
  385. malloc-interprocedural.c
  386. malloc-plist.c
  387. malloc-protoype.c
  388. malloc-refcounted.c
  389. malloc-sizeof.c
  390. malloc-sizeof.cpp
  391. malloc-static-storage.cpp
  392. malloc-std-namespace.cpp
  393. malloc-three-arg.c
  394. malloc.c
  395. malloc.cpp
  396. malloc.m
  397. malloc.mm
  398. max-nodes-suppress-on-sink.c
  399. max-nodes-suppress-on-sink.cpp
  400. member-expr.cpp
  401. memory-model.cpp
  402. MemRegion.cpp
  403. method-arg-decay.m
  404. method-call-intra-p.cpp
  405. method-call-path-notes.cpp
  406. method-call.cpp
  407. mig.mm
  408. misc-ps-64.m
  409. misc-ps-arm.m
  410. misc-ps-cxx0x.cpp
  411. misc-ps-eager-assume.m
  412. misc-ps-ranges.m
  413. misc-ps-region-store-i386.m
  414. misc-ps-region-store-x86_64.m
  415. misc-ps-region-store.cpp
  416. misc-ps-region-store.m
  417. misc-ps-region-store.mm
  418. misc-ps.c
  419. misc-ps.m
  420. mismatched-iterator.cpp
  421. MismatchedDeallocator-checker-test.mm
  422. MismatchedDeallocator-path-notes.cpp
  423. missing-bind-temporary.cpp
  424. missing-z3-nocrash.c
  425. MissingDealloc.m
  426. mmap-writeexec.c
  427. model-file.cpp
  428. more-dtors-cfg-output.cpp
  429. mpichecker.cpp
  430. mpicheckernotes.cpp
  431. MPIMock.h
  432. ms-seh.cpp
  433. mutually_exclusive_null_fp.cpp
  434. new-aligned.cpp
  435. new-ctor-conservative.cpp
  436. new-ctor-inlined.cpp
  437. new-ctor-malloc.cpp
  438. new-ctor-null-throw.cpp
  439. new-ctor-null.cpp
  440. new-ctor-recursive.cpp
  441. new-ctor-symbolic.cpp
  442. new-dynamic-types.cpp
  443. new-user-defined.cpp
  444. new-with-exceptions.cpp
  445. new.cpp
  446. NewDelete+MismatchedDeallocator_intersections.cpp
  447. NewDelete-atomics.cpp
  448. NewDelete-checker-test.cpp
  449. NewDelete-custom.cpp
  450. NewDelete-intersections.mm
  451. NewDelete-path-notes.cpp
  452. NewDelete-sized-deallocation.cpp
  453. NewDelete-variadic.cpp
  454. NewDeleteLeaks-PR18394.cpp
  455. NewDeleteLeaks-PR19102.cpp
  456. NewDeleteLeaks.cpp
  457. nil-receiver-undefined-larger-than-voidptr-ret-region.m
  458. nil-receiver-undefined-larger-than-voidptr-ret.m
  459. nil-receiver.mm
  460. no-exit-cfg.c
  461. no-return.c
  462. no-store-suppression.cpp
  463. no-unreachable-dtors.cpp
  464. non-diagnosable-assumptions.c
  465. nonnull-global-constants.mm
  466. nonnull.cpp
  467. nonnull.m
  468. nonnullparamchecker-crash.cpp
  469. nonreturn-destructors-cfg-output.cpp
  470. NoReturn.m
  471. novoidtypecrash.c
  472. NSContainers.m
  473. NSPanel.m
  474. NSString.m
  475. NSWindow.m
  476. null-deref-offsets.c
  477. null-deref-path-notes.c
  478. null-deref-path-notes.cpp
  479. null-deref-path-notes.m
  480. null-deref-ps-region.c
  481. null-deref-ps.c
  482. null-deref-static.m
  483. nullability-arc.mm
  484. nullability-no-arc.mm
  485. nullability-nocrash.c
  486. nullability-notes.m
  487. nullability.c
  488. nullability.m
  489. nullability.mm
  490. nullability_nullonly.mm
  491. nullptr.cpp
  492. number-object-conversion.c
  493. number-object-conversion.cpp
  494. number-object-conversion.m
  495. number-object-conversion.mm
  496. objc-arc.m
  497. objc-bool.m
  498. objc-boxing.m
  499. objc-encode.m
  500. objc-for.m
  501. objc-indirect-copy-restore.m
  502. objc-live-crash.mm
  503. objc-message.m
  504. objc-method-coverage.m
  505. objc-properties.m
  506. objc-radar17039661.m
  507. objc-string.mm
  508. objc-subscript.m
  509. objc_invalidation.m
  510. objcpp-uninitialized-object.mm
  511. ObjCProperties.m
  512. ObjCPropertiesSyntaxChecks.m
  513. ObjCRetSigs.m
  514. offsetofexpr-callback.c
  515. openmp-unsupported.c
  516. operator-calls.cpp
  517. os_object_base.h
  518. os_smart_ptr.h
  519. OSAtomic_mac.c
  520. OSAtomic_mac.cpp
  521. osobject-retain-release.cpp
  522. osobjectcstylecastchecker_test.cpp
  523. overloaded-delete-in-system-header.cpp
  524. override-werror.c
  525. padding_c.c
  526. padding_cpp.cpp
  527. padding_inherit.cpp
  528. padding_message.cpp
  529. padding_no_unique_address.cpp
  530. path-notes-impl-param.m
  531. pch_crash.cpp
  532. placement-new-user-defined.cpp
  533. placement-new.cpp
  534. plist-diagnostics-template-function.cpp
  535. plist-diagnostics-template-record.cpp
  536. plist-html-macros.c
  537. plist-macros-with-expansion-ctu.c
  538. plist-macros-with-expansion.c
  539. plist-macros-with-expansion.cpp
  540. plist-macros.cpp
  541. plist-output-alternate.m
  542. plist-output.m
  543. plist-stats-output.c
  544. pointer-arithmetic.c
  545. pointer-escape-on-conservative-calls.c
  546. pointer-sub-notes.c
  547. pointer-sub.c
  548. pointer-to-member.cpp
  549. PR121201.cpp
  550. PR12905.c
  551. pr22954.c
  552. PR24184.cpp
  553. PR2978.m
  554. PR35418.cpp
  555. pr37802.cpp
  556. PR37855.c
  557. PR38208.c
  558. PR3991.m
  559. PR40625.cpp
  560. pr4209.m
  561. PR46264.cpp
  562. PR47511.cpp
  563. PR49490.cpp
  564. PR49642.c
  565. PR50268.c
  566. PR60412.cpp
  567. PR7218.c
  568. PR9741.cpp
  569. pr_2542_rdar_6793404.m
  570. pr_4164.c
  571. preprocessor-setup.c
  572. print-ranges.cpp
  573. produce-symbolcast_x64.cpp
  574. produce-symbolcast_x86.cpp
  575. properties.m
  576. properties.mm
  577. pthreadlock.c
  578. pthreadlock_state.c
  579. pthreadlock_state_nottracked.c
  580. ptr-arith.c
  581. ptr-arith.cpp
  582. ptr-cmp-const-trunc.cl
  583. putenv-stack-array.c
  584. qt_malloc.cpp
  585. range_casts.c
  586. rdar-6442306-1.m
  587. rdar-6540084.m
  588. rdar-6562655.m
  589. rdar-6600344-nil-receiver-undefined-struct-ret.m
  590. rdar-7168531.m
  591. redecl.c
  592. redefined_system.c
  593. refcnt_naming.m
  594. reference.cpp
  595. region-1.m
  596. region-store.c
  597. region-store.cpp
  598. region_store_overflow.c
  599. reinterpret-cast-pointer-to-member.cpp
  600. reinterpret-cast.cpp
  601. report-uniqueing.cpp
  602. retain-count-alloc.cpp
  603. retain-release-arc.m
  604. retain-release-cache-out.m
  605. retain-release-cf-audited.m
  606. retain-release-compound-literal.m
  607. retain-release-cpp-classes.cpp
  608. retain-release-inline.m
  609. retain-release-path-notes.m
  610. retain-release-region-store.m
  611. retain-release-safe.c
  612. retain-release.m
  613. retain-release.mm
  614. retaincountchecker-compoundregion.m
  615. return-ptr-range.cpp
  616. return-stmt-merge.cpp
  617. return-value-guaranteed.cpp
  618. returns_nonnull-attribute.cpp
  619. runtime-regression.c
  620. rvo.cpp
  621. scopes-cfg-output.cpp
  622. security-syntax-checks-no-emit.c
  623. security-syntax-checks-nscoder.m
  624. security-syntax-checks.c
  625. security-syntax-checks.m
  626. self-assign.cpp
  627. self-init.m
  628. setgid-setuid-order-notes.c
  629. setgid-setuid-order.c
  630. shallow-mode.m
  631. short-circuiting-eval.cpp
  632. show-checker-list.c
  633. silence-checkers-and-packages-core-all.cpp
  634. silence-checkers-and-packages-core-div-by-zero.cpp
  635. silence-checkers.cpp
  636. simple-stream-checks.c
  637. sizeofpack.cpp
  638. smart-ptr-text-output.cpp
  639. smart-ptr.cpp
  640. solver-sym-simplification-adjustment.c
  641. solver-sym-simplification-bool.cpp
  642. solver-sym-simplification-concreteint.c
  643. solver-sym-simplification-no-crash.c
  644. solver-sym-simplification-no-crash2.c
  645. solver-sym-simplification-ptr-bool.cl
  646. solver-sym-simplification-with-proper-range-type.c
  647. SpecialFunctionsCFError.cpp
  648. stack-addr-ps.c
  649. stack-addr-ps.cpp
  650. stack-block-returned.cpp
  651. stack-capture-leak-arc.mm
  652. stack-capture-leak-no-arc.mm
  653. stack-frame-context-revision.cpp
  654. stackaddrleak.c
  655. stackaddrleak.cpp
  656. static_local.m
  657. stats.c
  658. std-c-library-functions-arg-constraints-note-tags.cpp
  659. std-c-library-functions-arg-constraints-notes.cpp
  660. std-c-library-functions-arg-constraints-tracking-notes.c
  661. std-c-library-functions-arg-constraints.c
  662. std-c-library-functions-arg-constraints.cpp
  663. std-c-library-functions-arg-cstring-dependency.c
  664. std-c-library-functions-arg-enabled-checkers.c
  665. std-c-library-functions-arg-weakdeps.c
  666. std-c-library-functions-eof.c
  667. std-c-library-functions-inlined.c
  668. std-c-library-functions-lookup.c
  669. std-c-library-functions-lookup.cpp
  670. std-c-library-functions-path-notes.c
  671. std-c-library-functions-POSIX-lookup.c
  672. std-c-library-functions-POSIX-socket-sockaddr.cpp
  673. std-c-library-functions-POSIX.c
  674. std-c-library-functions-restrict.c
  675. std-c-library-functions-restrict.cpp
  676. std-c-library-functions-vs-stream-checker.c
  677. std-c-library-functions.c
  678. std-c-library-functions.cpp
  679. std-c-library-posix-crash.c
  680. std-string.cpp
  681. std-variant-checker.cpp
  682. stl-algorithm-modeling-aggressive-std-find-modeling.cpp
  683. stl-algorithm-modeling.cpp
  684. store-dump-orders.cpp
  685. stream-errno-note.c
  686. stream-errno.c
  687. stream-error.c
  688. stream-invalidate.c
  689. stream-non-posix-function.c
  690. stream-noopen.c
  691. stream-note.c
  692. stream-notes-missing-close.cpp
  693. stream-pedantic.c
  694. stream-stdlibraryfunctionargs.c
  695. stream.c
  696. stream.cpp
  697. string-fail.c
  698. string-with-signedness.c
  699. string.c
  700. string.cpp
  701. string_notnullterm.c
  702. structured_bindings.cpp
  703. superclass.m
  704. suppress-dereferences-from-any-address-space.c
  705. suppression-attr-doc.cpp
  706. suppression-attr.cpp
  707. suppression-attr.m
  708. sval-dump-int128.c
  709. svalbuilder-casts.cpp
  710. svalbuilder-float-cast.c
  711. svalbuilder-logic.c
  712. svalbuilder-rearrange-comparisons.cpp
  713. svalbuilder-simplify-compound-svals.cpp
  714. svalbuilder-simplify-in-evalbinop.cpp
  715. svalbuilder-simplify-intsym.cpp
  716. svalbuilder-simplify-no-crash.c
  717. switch-case.c
  718. symbol-escape.cpp
  719. symbol-reaper-lambda.cpp
  720. symbol-reaper.c
  721. symbol-reaper.cpp
  722. symbol-simplification-assertion.c
  723. symbol-simplification-bo-div.c
  724. symbol-simplification-disequality-info.cpp
  725. symbol-simplification-fixpoint-iteration-unreachable-code.cpp
  726. symbol-simplification-fixpoint-one-iteration.cpp
  727. symbol-simplification-fixpoint-two-iterations.cpp
  728. symbol-simplification-nonloc-loc.cpp
  729. symbol-simplification-reassume.cpp
  730. symbol-simplification-symplify-results-in-dead-symbol.cpp
  731. symbolcast-floatingpoint.cpp
  732. taint-checker-callback-order-has-definition.c
  733. taint-checker-callback-order-without-definition.c
  734. taint-diagnostic-visitor.c
  735. taint-dumps.c
  736. taint-generic.c
  737. taint-generic.cpp
  738. taint-tester.c
  739. taint-tester.cpp
  740. taint-tester.m
  741. temp-obj-dtors-cfg-output.cpp
  742. temp-obj-dtors-option.cpp
  743. template-param-objects.cpp
  744. templates.cpp
  745. temporaries-callback-order.cpp
  746. temporaries.cpp
  747. temporaries.mm
  748. test-after-div-zero.c
  749. test-include-cpp.cpp
  750. test-include-cpp.h
  751. test-include.c
  752. test-include.h
  753. test-objc-non-nil-return-value-checker.m
  754. test-separate-retaincount.cpp
  755. test-variably-modified-types.c
  756. this-pointer.cpp
  757. track-control-dependency-conditions.cpp
  758. track-control-dependency-conditions.m
  759. transparent_union_bug.c
  760. traversal-begin-end-function.c
  761. traversal-path-unification.c
  762. trivial-copy-struct.cpp
  763. trustnonnullchecker_test.m
  764. trustnonnullchecker_test.mm
  765. unary-sym-expr-no-crash.c
  766. unary-sym-expr-z3-refutation.c
  767. unary-sym-expr.c
  768. undef-buffers.c
  769. undef-call.c
  770. undefined-new-element.cpp
  771. uninit-bug-first-iteration-init.c
  772. uninit-const.c
  773. uninit-const.cpp
  774. uninit-exhaustive-switch-bug.c
  775. uninit-ps-rdar6145427.m
  776. uninit-structured-binding-array.cpp
  777. uninit-structured-binding-struct.cpp
  778. uninit-structured-binding-tuple.cpp
  779. uninit-val-const-likeness.c
  780. uninit-vals-union.c
  781. uninit-vals.c
  782. uninit-vals.cpp
  783. uninit-vals.m
  784. unions-region.m
  785. unions.cpp
  786. unix-api.c
  787. unix-api.cpp
  788. unix-fns-o_creat.c
  789. unix-fns.c
  790. unreachable-code-exceptions.cpp
  791. unreachable-code-path.c
  792. unsupported-types.c
  793. unused-ivars.m
  794. use-after-move.cpp
  795. UserNullabilityAnnotations.m
  796. valist-as-lazycompound.c
  797. valist-uninitialized-no-undef.c
  798. valist-uninitialized.c
  799. valist-unterminated.c
  800. variadic-method-types.m
  801. vector.m
  802. vfork.c
  803. virtualcall-fixits.cpp
  804. virtualcall-plist.cpp
  805. virtualcall.cpp
  806. virtualcall.h
  807. vla-overflow.c
  808. vla.c
  809. void-call-exit-modelling.c
  810. weak-dependencies.c
  811. weak-functions.c
  812. wstring.c
  813. yaccignore.c
  814. z3-crosscheck-max-attempts.cpp
  815. z3-crosscheck.c
  816. z3-refute-enum-crash.cpp
  817. z3-unarysymexpr.c
  818. zero-operands.c
  819. zero-size-non-pod-array.cpp