Analysis\test\clang - rocket-tools/riscv-gnu-toolchain/llvm.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	CFContainers-invalid.c	739	log plain
-rw-r--r--	CFContainers.mm	12700	log plain
-rw-r--r--	CFNumber.c	2668	log plain
-rw-r--r--	CFRetainRelease_NSAssertionHandler.m	2982	log plain
-rw-r--r--	CGColorSpace.c	598	log plain
-rw-r--r--	CheckNSError.m	3217	log plain
-rw-r--r--	CheckThatArraySubsciptNodeIsNotCollected.cpp	1262	log plain
d---------	Checkers	92	log plain
-rw-r--r--	DeallocMissingRelease.m	21317	log plain
-rw-r--r--	DeallocUseAfterFreeErrors.m	10999	log plain
-rw-r--r--	DeleteWithNonVirtualDtor.cpp	6378	log plain
-rw-r--r--	DynamicTypePropagation.m	1864	log plain
d---------	Inputs	2777	log plain
-rw-r--r--	Issue56873.cpp	466	log plain
-rw-r--r--	MPIMock.h	1750	log plain
-rw-r--r--	Malloc+MismatchedDeallocator+NewDelete.cpp	3822	log plain
-rw-r--r--	Malloc+MismatchedDeallocator_intersections.cpp	989	log plain
-rw-r--r--	MemRegion.cpp	1662	log plain
-rw-r--r--	MismatchedDeallocator-checker-test.mm	6900	log plain
-rw-r--r--	MismatchedDeallocator-path-notes.cpp	871	log plain
-rw-r--r--	MissingDealloc.m	5008	log plain
-rw-r--r--	NSContainers.m	9813	log plain
-rw-r--r--	NSPanel.m	3042	log plain
-rw-r--r--	NSString.m	14800	log plain
-rw-r--r--	NSWindow.m	3426	log plain
-rw-r--r--	NewDelete+MismatchedDeallocator_intersections.cpp	1159	log plain
-rw-r--r--	NewDelete-atomics.cpp	2710	log plain
-rw-r--r--	NewDelete-checker-test.cpp	10991	log plain
-rw-r--r--	NewDelete-custom.cpp	1657	log plain
-rw-r--r--	NewDelete-intersections.mm	2415	log plain
-rw-r--r--	NewDelete-path-notes.cpp	1193	log plain
-rw-r--r--	NewDelete-sized-deallocation.cpp	3115	log plain
-rw-r--r--	NewDelete-variadic.cpp	541	log plain
-rw-r--r--	NewDeleteLeaks-PR18394.cpp	310	log plain
-rw-r--r--	NewDeleteLeaks-PR19102.cpp	1173	log plain
-rw-r--r--	NewDeleteLeaks.cpp	7813	log plain
-rw-r--r--	NoReturn.m	5122	log plain
-rw-r--r--	OSAtomic_mac.c	1111	log plain
-rw-r--r--	OSAtomic_mac.cpp	875	log plain
-rw-r--r--	ObjCProperties.m	1276	log plain
-rw-r--r--	ObjCPropertiesSyntaxChecks.m	3135	log plain
-rw-r--r--	ObjCRetSigs.m	522	log plain
-rw-r--r--	PR12905.c	104	log plain
-rw-r--r--	PR24184.cpp	2208	log plain
-rw-r--r--	PR2978.m	2561	log plain
-rw-r--r--	PR35418.cpp	412	log plain
-rw-r--r--	PR37855.c	557	log plain
-rw-r--r--	PR38208.c	780	log plain
-rw-r--r--	PR3991.m	3177	log plain
-rw-r--r--	PR40625.cpp	350	log plain
-rw-r--r--	PR46264.cpp	1010	log plain
-rw-r--r--	PR47511.cpp	496	log plain
-rw-r--r--	PR49490.cpp	522	log plain
-rw-r--r--	PR49642.c	439	log plain
-rw-r--r--	PR50268.c	267	log plain
-rw-r--r--	PR7218.c	207	log plain
-rw-r--r--	PR9741.cpp	170	log plain
-rw-r--r--	SpecialFunctionsCFError.cpp	853	log plain
-rw-r--r--	UserNullabilityAnnotations.m	1420	log plain
-rw-r--r--	_Bool-increment-decrement.c	2558	log plain
-rw-r--r--	a_flaky_crash.cpp	16166	log plain
-rw-r--r--	additive-folding-range-constraints.c	10888	log plain
-rw-r--r--	additive-folding.cpp	6229	log plain
-rw-r--r--	additive-op-on-sym-int-expr.c	7045	log plain
-rw-r--r--	addrspace-null.c	1138	log plain
-rw-r--r--	aggrinit-cfg-output.cpp	742	log plain
-rw-r--r--	analyze-function-guide.cpp	2841	log plain
-rw-r--r--	analyze-function-guide.m	540	log plain
-rw-r--r--	analyzeOneFunction.m	1539	log plain
-rw-r--r--	analyzer-checker-config.c	934	log plain
-rw-r--r--	analyzer-checker-option-help.c	4363	log plain
-rw-r--r--	analyzer-config.c	7132	log plain
-rw-r--r--	analyzer-display-progress.cpp	902	log plain
-rw-r--r--	analyzer-display-progress.m	751	log plain
-rw-r--r--	analyzer-enabled-checkers.c	2218	log plain
-rw-r--r--	analyzer-list-configs.c	1677	log plain
-rw-r--r--	analyzer-stats.c	887	log plain
-rw-r--r--	analyzer_test.py	1820	log plain
-rw-r--r--	arc-zero-init.m	1092	log plain
-rw-r--r--	array-init-loop.cpp	9126	log plain
-rw-r--r--	array-punned-region.c	1157	log plain
-rw-r--r--	array-struct-region.c	10510	log plain
-rw-r--r--	array-struct-region.cpp	7048	log plain
-rw-r--r--	array-struct.c	3906	log plain
-rw-r--r--	asm-goto.cpp	1436	log plain
-rw-r--r--	asm.cpp	423	log plain
-rw-r--r--	assume-controlled-environment.c	750	log plain
-rw-r--r--	atomics.c	3880	log plain
-rw-r--r--	auto-obj-dtors-cfg-output.cpp	46195	log plain
-rw-r--r--	autoreleasewritechecker_test.m	13149	log plain
-rw-r--r--	base-init.cpp	402	log plain
-rw-r--r--	bitwise-ops.c	2124	log plain
-rw-r--r--	block-in-critical-section.cpp	5713	log plain
-rw-r--r--	block-in-critical-section.m	246	log plain
-rw-r--r--	blocks-no-inline.c	1385	log plain
-rw-r--r--	blocks-nrvo.c	198	log plain
-rw-r--r--	blocks.m	7476	log plain
-rw-r--r--	blocks.mm	3315	log plain
-rw-r--r--	bool-assignment.c	2813	log plain
-rw-r--r--	bool-increment.cpp	1611	log plain
-rw-r--r--	bsd-string.c	4281	log plain
-rw-r--r--	bstring.c	14337	log plain
-rw-r--r--	bstring.cpp	6135	log plain
-rw-r--r--	bstring_UninitRead.c	1970	log plain
-rw-r--r--	bug_hash_test.cpp	3925	log plain
-rw-r--r--	bug_hash_test.m	757	log plain
-rw-r--r--	builtin-functions.cpp	3024	log plain
-rw-r--r--	builtin_bitcast.cpp	1058	log plain
-rw-r--r--	builtin_signbit.cpp	1174	log plain
-rw-r--r--	c11lock.c	2026	log plain
-rw-r--r--	call-and-message.c	976	log plain
-rw-r--r--	call-and-message.cpp	7252	log plain
-rw-r--r--	call-and-message.m	5010	log plain
-rw-r--r--	call-and-message.mm	1332	log plain
-rw-r--r--	call-invalidation.cpp	4521	log plain
-rw-r--r--	call_once.cpp	9040	log plain
-rw-r--r--	cast-to-struct.cpp	2373	log plain
-rw-r--r--	cast-value-logic.cpp	4799	log plain
-rw-r--r--	cast-value-notes.cpp	12136	log plain
-rw-r--r--	cast-value-state-dump.cpp	1646	log plain
-rw-r--r--	cast-value-weird.cpp	218	log plain
-rw-r--r--	castexpr-callback.c	451	log plain
-rw-r--r--	casts.c	8389	log plain
-rw-r--r--	casts.cpp	2290	log plain
-rw-r--r--	casts.m	1006	log plain
d---------	cert	218	log plain
-rw-r--r--	cfg-indirect-goto-determinism.cpp	1460	log plain
-rw-r--r--	cfg-openmp.cpp	42369	log plain
-rw-r--r--	cfg-rich-constructors.cpp	41928	log plain
-rw-r--r--	cfg-rich-constructors.mm	3072	log plain
-rw-r--r--	cfg.c	3257	log plain
-rw-r--r--	cfg.cpp	20215	log plain
-rw-r--r--	cfref_PR2519.c	2899	log plain
-rw-r--r--	cfref_rdar6080742.c	3105	log plain
-rw-r--r--	check-analyzer-fixit.py	4123	log plain
-rw-r--r--	check-deserialization.cpp	439	log plain
-rw-r--r--	checker-dependencies.c	816	log plain
-rw-r--r--	checker-plugins.c	5207	log plain
-rw-r--r--	chroot.c	628	log plain
-rw-r--r--	class-object-state-dump.m	944	log plain
-rw-r--r--	comparison-implicit-casts.cpp	3849	log plain
-rw-r--r--	complex-init-list.cpp	231	log plain
-rw-r--r--	complex.c	1304	log plain
-rw-r--r--	compound-literals.c	881	log plain
-rw-r--r--	concrete-address.c	182	log plain
-rw-r--r--	conditional-operator.cpp	612	log plain
-rw-r--r--	conditional-path-notes.c	3376	log plain
-rw-r--r--	const-method-call.cpp	5596	log plain
-rw-r--r--	constant-folding.c	11420	log plain
-rw-r--r--	constraint-assignor.c	2706	log plain
-rw-r--r--	constraint_manager_conditions.cpp	12012	log plain
-rw-r--r--	constraint_manager_negate.c	3694	log plain
-rw-r--r--	constraint_manager_negate_difference.c	4700	log plain
-rw-r--r--	container-modeling-no-aggressive-binary-operation-simplification-warn.cpp	271	log plain
-rw-r--r--	container-modeling.cpp	10705	log plain
-rw-r--r--	conversion-tracking-notes.c	1059	log plain
-rw-r--r--	conversion.c	5655	log plain
-rw-r--r--	conversion.cpp	424	log plain
-rw-r--r--	copy-elision.cpp	13582	log plain
-rw-r--r--	copy-elision.mm	378	log plain
d---------	copypaste	1283	log plain
-rw-r--r--	coverage.c	2479	log plain
-rw-r--r--	crash-trace.c	1018	log plain
-rw-r--r--	cstring-addrspace.c	2605	log plain
-rw-r--r--	cstring-plist.c	858	log plain
-rw-r--r--	cstring-ranges.c	546	log plain
-rw-r--r--	cstring-syntax-cxx.cpp	412	log plain
-rw-r--r--	cstring-syntax-weird.c	677	log plain
-rw-r--r--	cstring-syntax-weird2.c	490	log plain
-rw-r--r--	cstring-syntax.c	3924	log plain
-rw-r--r--	ctor-array.cpp	7307	log plain
-rw-r--r--	ctor-bug-path.cpp	8377	log plain
-rw-r--r--	ctor.mm	22818	log plain
-rw-r--r--	ctu-cxxdefaultinitexpr.cpp	1181	log plain
-rw-r--r--	ctu-different-triples.cpp	882	log plain
-rw-r--r--	ctu-hdr.h	89	log plain
-rw-r--r--	ctu-implicit.c	863	log plain
-rw-r--r--	ctu-import-threshold.c	270	log plain
-rw-r--r--	ctu-inherited-default-ctor.cpp	1109	log plain
-rw-r--r--	ctu-lookup-name-with-space.cpp	1735	log plain
-rw-r--r--	ctu-main.c	4182	log plain
-rw-r--r--	ctu-main.cpp	10053	log plain
-rw-r--r--	ctu-on-demand-parsing.c	3071	log plain
-rw-r--r--	ctu-on-demand-parsing.cpp	4376	log plain
-rw-r--r--	ctu-onego-existingdef.cpp	3064	log plain
-rw-r--r--	ctu-onego-indirect.cpp	2175	log plain
-rw-r--r--	ctu-onego-small.cpp	2260	log plain
-rw-r--r--	ctu-onego-toplevel.cpp	2160	log plain
-rw-r--r--	ctu-unknown-parts-in-triples.cpp	757	log plain
-rw-r--r--	cxx-callgraph.cpp	591	log plain
-rw-r--r--	cxx-crashes.cpp	1146	log plain
-rw-r--r--	cxx-dynamic-memory-analysis-order.cpp	6453	log plain
-rw-r--r--	cxx-for-range-cfg.cpp	492	log plain
-rw-r--r--	cxx-for-range.cpp	2189	log plain
-rw-r--r--	cxx-inherited-ctor-init-expr.cpp	1593	log plain
-rw-r--r--	cxx-inherited-ctor-is-skipped-as-top-level.cpp	485	log plain
-rw-r--r--	cxx-member-initializer-const-field.cpp	3052	log plain
-rw-r--r--	cxx-method-names.cpp	543	log plain
-rw-r--r--	cxx-uninitialized-object-inheritance.cpp	19588	log plain
-rw-r--r--	cxx-uninitialized-object-no-dereference.cpp	635	log plain
-rw-r--r--	cxx-uninitialized-object-notes-as-warnings.cpp	602	log plain
-rw-r--r--	cxx-uninitialized-object-ptr-ref.cpp	24364	log plain
-rw-r--r--	cxx-uninitialized-object-unguarded-access.cpp	7911	log plain
-rw-r--r--	cxx-uninitialized-object-unionlike-constructs.cpp	3120	log plain
-rw-r--r--	cxx-uninitialized-object.cpp	26348	log plain
-rw-r--r--	cxx11-crashes.cpp	2165	log plain
-rw-r--r--	cxxctr-array-evalcall-analysis-order.cpp	1848	log plain
-rw-r--r--	cxxctr-evalcall-analysis-order.cpp	1120	log plain
-rw-r--r--	cxxnewexpr-callback.cpp	2118	log plain
-rw-r--r--	dead-stores.c	15442	log plain
-rw-r--r--	dead-stores.cpp	6496	log plain
-rw-r--r--	dead-stores.m	3633	log plain
-rw-r--r--	deadstores-driverkit.cpp	762	log plain
-rw-r--r--	debug-CallGraph.cpp	3285	log plain
-rw-r--r--	debug-checkers.cpp	1939	log plain
-rw-r--r--	debug-container-modeling.cpp	1300	log plain
-rw-r--r--	debug-exprinspection-istainted.c	1004	log plain
-rw-r--r--	debug-iterator-modeling.cpp	2246	log plain
-rw-r--r--	default-analyze.m	1303	log plain
-rw-r--r--	default-diagnostic-visitors.c	535	log plain
-rw-r--r--	delayed-template-parsing-crash.cpp	493	log plain
-rw-r--r--	delegates.m	4964	log plain
-rw-r--r--	deprecated-flags-and-options.cpp	664	log plain
-rw-r--r--	derived-to-base.cpp	10512	log plain
-rw-r--r--	designated-initializer-values.c	1593	log plain
-rw-r--r--	designated-initializer.c	1132	log plain
d---------	diagnostics	1510	log plain
-rw-r--r--	disable-all-checks.c	697	log plain
-rw-r--r--	dispatch-once.m	4917	log plain
-rw-r--r--	div-zero.cpp	246	log plain
-rw-r--r--	division-by-zero-track-zero.c	458	log plain
-rw-r--r--	division-by-zero-track-zero.cpp	4442	log plain
-rw-r--r--	division-by-zero.c	167	log plain
-rw-r--r--	domtest.c	8053	log plain
-rw-r--r--	domtest.cpp	1735	log plain
-rw-r--r--	double-ranges-bug.c	327	log plain
-rw-r--r--	dtor-array.cpp	8234	log plain
-rw-r--r--	dtor-cxx11.cpp	342	log plain
-rw-r--r--	dtor.cpp	12429	log plain
-rw-r--r--	dtors-in-dtor-cfg-output.cpp	1040	log plain
-rw-r--r--	dump_egraph.c	1961	log plain
-rw-r--r--	dump_egraph.cpp	1339	log plain
-rw-r--r--	dynamic-cast.cpp	5309	log plain
-rw-r--r--	dynamic_type_check.m	807	log plain
-rw-r--r--	edges-new.mm	10531	log plain
-rw-r--r--	egraph-asm-goto-no-crash.cpp	608	log plain
-rw-r--r--	elementtype.c	320	log plain
-rw-r--r--	end-function-return-stmt.cpp	762	log plain
d---------	engine	53	log plain
-rw-r--r--	enum-cast-out-of-range.c	1382	log plain
-rw-r--r--	enum-cast-out-of-range.cpp	15863	log plain
-rw-r--r--	enum.cpp	1374	log plain
-rw-r--r--	equality_tracking.c	10743	log plain
-rw-r--r--	errno-notes.c	2884	log plain
-rw-r--r--	errno-options.c	1703	log plain
-rw-r--r--	errno-stdlibraryfunctions-notes.c	1802	log plain
-rw-r--r--	errno-stdlibraryfunctions.c	1776	log plain
-rw-r--r--	errno.c	7712	log plain
-rw-r--r--	eval-predefined-exprs.cpp	3979	log plain
-rw-r--r--	exceptions.mm	894	log plain
-rw-r--r--	exercise-ps.c	1268	log plain
-rw-r--r--	explain-svals.c	1518	log plain
-rw-r--r--	explain-svals.cpp	6097	log plain
-rw-r--r--	explain-svals.m	2660	log plain
d---------	exploded-graph-rewriter	1044	log plain
d---------	exploration_order	90	log plain
-rw-r--r--	expr-inspection-printState-diseq-info.c	1015	log plain
-rw-r--r--	expr-inspection-printState-eq-classes.c	543	log plain
-rw-r--r--	expr-inspection.c	2256	log plain
-rw-r--r--	expr-inspection.cpp	1561	log plain
-rw-r--r--	fields.c	2698	log plain
-rw-r--r--	find-binop-constraints.cpp	4346	log plain
-rw-r--r--	flexible-array-member.cpp	1417	log plain
-rw-r--r--	flexible-array-members.c	4830	log plain
-rw-r--r--	flexignore.c	503	log plain
-rw-r--r--	free.c	3662	log plain
-rw-r--r--	free.cpp	7830	log plain
-rw-r--r--	fuchsia_handle.cpp	14463	log plain
-rw-r--r--	fuchsia_lock.c	2713	log plain
-rw-r--r--	fuchsia_lock_impl.c	407	log plain
-rw-r--r--	func-mapping-test.cpp	1312	log plain
-rw-r--r--	func.c	989	log plain
-rw-r--r--	gcdantipatternchecker_test.m	9170	log plain
-rw-r--r--	generics.m	14787	log plain
-rw-r--r--	global-region-invalidation-errno.c	1358	log plain
-rw-r--r--	global-region-invalidation.c	2689	log plain
-rw-r--r--	global_region_invalidation.mm	5554	log plain
-rw-r--r--	globals-are-not-always-immutable.c	2759	log plain
-rw-r--r--	globals.cpp	2682	log plain
-rw-r--r--	gmalloc.c	6902	log plain
-rw-r--r--	gtest.cpp	4522	log plain
-rw-r--r--	handle_constructors_for_default_arguments.cpp	3419	log plain
-rw-r--r--	handle_constructors_with_new_array.cpp	2089	log plain
-rw-r--r--	hangs.c	3660	log plain
-rw-r--r--	html-diag-singlefile.c	488	log plain
-rw-r--r--	html-diag-singlefile.h	105	log plain
-rw-r--r--	html-diags-analyze-headers.c	432	log plain
-rw-r--r--	html-diags-analyze-headers.h	80	log plain
-rw-r--r--	html-diags-multifile.c	371	log plain
-rw-r--r--	html-diags-multifile.h	70	log plain
-rw-r--r--	html-diags.c	937	log plain
d---------	html_diagnostics	283	log plain
-rw-r--r--	identical-expressions.cpp	35371	log plain
-rw-r--r--	implicit-ctor-undef-value.cpp	1776	log plain
-rw-r--r--	incorrect-checker-names.cpp	1111	log plain
-rw-r--r--	incorrect-checker-names.mm	5969	log plain
-rw-r--r--	index-type.c	1364	log plain
-rw-r--r--	infeasible-crash.c	984	log plain
-rw-r--r--	infeasible-sink.c	2349	log plain
-rw-r--r--	initialization.c	4875	log plain
-rw-r--r--	initialization.cpp	9820	log plain
-rw-r--r--	initializer.cpp	7435	log plain
-rw-r--r--	initializers-cfg-output.cpp	10524	log plain
-rw-r--r--	inline-if-constexpr.cpp	742	log plain
-rw-r--r--	inline-not-supported.c	569	log plain
-rw-r--r--	inline-plist.c	3776	log plain
-rw-r--r--	inline-unique-reports.c	391	log plain
-rw-r--r--	inline.c	2880	log plain
-rw-r--r--	inline.cpp	10765	log plain
-rw-r--r--	inline2.c	434	log plain
-rw-r--r--	inline3.c	315	log plain
-rw-r--r--	inline4.c	387	log plain
d---------	inlining	1503	log plain
-rw-r--r--	inner-pointer.cpp	17629	log plain
-rw-r--r--	invalid-a-na-ly-zer-con-fig-value.c	3261	log plain
-rw-r--r--	invalid-analyzer-config-value.c	3093	log plain
-rw-r--r--	invalid-checker-option.c	3942	log plain
-rw-r--r--	invalid-deref.c	737	log plain
-rw-r--r--	invalidated-iterator.cpp	5365	log plain
-rw-r--r--	iterator-modeling-no-aggressive-binary-operation-simplification-no-crash.cpp	467	log plain
-rw-r--r--	iterator-modeling.cpp	90495	log plain
-rw-r--r--	iterator-range.cpp	27924	log plain
-rw-r--r--	ivars.m	3864	log plain
-rw-r--r--	keychainAPI-diagnostic-visitor.m	1404	log plain
-rw-r--r--	keychainAPI.m	14814	log plain
-rw-r--r--	kmalloc-linux.c	2858	log plain
-rw-r--r--	lambda-notes.cpp	416	log plain
-rw-r--r--	lambdas-generalized-capture.cpp	1159	log plain
-rw-r--r--	lambdas-modern.cpp	838	log plain
-rw-r--r--	lambdas.cpp	8195	log plain
-rw-r--r--	lambdas.mm	3202	log plain
-rw-r--r--	left-shift-cxx2a.cpp	962	log plain
-rw-r--r--	lifetime-cfg-output.cpp	23683	log plain
-rw-r--r--	lifetime-extension.cpp	8704	log plain
-rw-r--r--	lifetime-extension.mm	1667	log plain
-rw-r--r--	lit.local.cfg	1121	log plain
-rw-r--r--	live-bindings-test.cpp	3016	log plain
-rw-r--r--	live-stmts.cpp	5026	log plain
-rw-r--r--	live-stmts.mm	2143	log plain
-rw-r--r--	live-variables.cpp	632	log plain
-rw-r--r--	live-variables.m	754	log plain
-rw-r--r--	llvm-conventions.cpp	7908	log plain
-rw-r--r--	localization-aggressive.m	12384	log plain
-rw-r--r--	localization.m	9273	log plain
-rw-r--r--	logical-ops.c	1438	log plain
-rw-r--r--	loop-block-counts.c	729	log plain
-rw-r--r--	loop-unrolling.cpp	12753	log plain
-rw-r--r--	loop-widening-ignore-static-methods.cpp	351	log plain
-rw-r--r--	loop-widening-notes.cpp	3018	log plain
-rw-r--r--	loop-widening-preserve-reference-type.cpp	912	log plain
-rw-r--r--	loop-widening.c	5674	log plain
-rw-r--r--	loop-widening.cpp	837	log plain
-rw-r--r--	loopexit-cfg-output.cpp	11002	log plain
-rw-r--r--	lvalue.cpp	188	log plain
-rw-r--r--	main.c	1287	log plain
-rw-r--r--	main.cpp	807	log plain
-rw-r--r--	malloc-annotations.c	6749	log plain
-rw-r--r--	malloc-annotations.cpp	2811	log plain
-rw-r--r--	malloc-bodyfarms.c	674	log plain
-rw-r--r--	malloc-bodyfarms.cpp	730	log plain
-rw-r--r--	malloc-custom.c	753	log plain
-rw-r--r--	malloc-fnptr-plist.c	488	log plain
-rw-r--r--	malloc-free-after-return.cpp	476	log plain
-rw-r--r--	malloc-interprocedural.c	3143	log plain
-rw-r--r--	malloc-overflow.c	3363	log plain
-rw-r--r--	malloc-overflow.cpp	210	log plain
-rw-r--r--	malloc-overflow2.c	1193	log plain
-rw-r--r--	malloc-plist.c	5009	log plain
-rw-r--r--	malloc-protoype.c	274	log plain
-rw-r--r--	malloc-sizeof.c	2831	log plain
-rw-r--r--	malloc-sizeof.cpp	906	log plain
-rw-r--r--	malloc-three-arg.c	1012	log plain
-rw-r--r--	malloc.c	45687	log plain
-rw-r--r--	malloc.cpp	5535	log plain
-rw-r--r--	malloc.m	1519	log plain
-rw-r--r--	malloc.mm	13114	log plain
-rw-r--r--	max-nodes-suppress-on-sink.c	2635	log plain
-rw-r--r--	max-nodes-suppress-on-sink.cpp	1029	log plain
-rw-r--r--	member-expr.cpp	879	log plain
-rw-r--r--	memory-model.cpp	5760	log plain
-rw-r--r--	method-arg-decay.m	5069	log plain
-rw-r--r--	method-call-intra-p.cpp	740	log plain
-rw-r--r--	method-call-path-notes.cpp	2030	log plain
-rw-r--r--	method-call.cpp	1005	log plain
-rw-r--r--	mig.mm	12163	log plain
-rw-r--r--	misc-ps-64.m	1978	log plain
-rw-r--r--	misc-ps-arm.m	595	log plain
-rw-r--r--	misc-ps-cxx0x.cpp	2073	log plain
-rw-r--r--	misc-ps-eager-assume.m	5508	log plain
-rw-r--r--	misc-ps-ranges.m	1024	log plain
-rw-r--r--	misc-ps-region-store-i386.m	581	log plain
-rw-r--r--	misc-ps-region-store-x86_64.m	588	log plain
-rw-r--r--	misc-ps-region-store.cpp	16449	log plain
-rw-r--r--	misc-ps-region-store.m	41855	log plain
-rw-r--r--	misc-ps-region-store.mm	1335	log plain
-rw-r--r--	misc-ps.c	5978	log plain
-rw-r--r--	misc-ps.m	38132	log plain
-rw-r--r--	mismatched-iterator.cpp	5462	log plain
-rw-r--r--	missing-bind-temporary.cpp	3742	log plain
-rw-r--r--	missing-z3-nocrash.c	227	log plain
-rw-r--r--	mmap-writeexec.c	2006	log plain
-rw-r--r--	model-file.cpp	1363	log plain
-rw-r--r--	more-dtors-cfg-output.cpp	9766	log plain
-rw-r--r--	mpichecker.cpp	10492	log plain
-rw-r--r--	mpicheckernotes.cpp	1830	log plain
-rw-r--r--	ms-seh.cpp	422	log plain
-rw-r--r--	mutually_exclusive_null_fp.cpp	499	log plain
-rw-r--r--	new-aligned.cpp	423	log plain
-rw-r--r--	new-ctor-conservative.cpp	1403	log plain
-rw-r--r--	new-ctor-inlined.cpp	1308	log plain
-rw-r--r--	new-ctor-malloc.cpp	944	log plain
-rw-r--r--	new-ctor-null-throw.cpp	1563	log plain
-rw-r--r--	new-ctor-null.cpp	1144	log plain
-rw-r--r--	new-ctor-recursive.cpp	3417	log plain
-rw-r--r--	new-ctor-symbolic.cpp	917	log plain
-rw-r--r--	new-dynamic-types.cpp	526	log plain
-rw-r--r--	new-with-exceptions.cpp	1670	log plain
-rw-r--r--	new.cpp	8953	log plain
-rw-r--r--	nil-receiver-undefined-larger-than-voidptr-ret-region.m	592	log plain
-rw-r--r--	nil-receiver-undefined-larger-than-voidptr-ret.m	3449	log plain
-rw-r--r--	nil-receiver.mm	556	log plain
-rw-r--r--	no-exit-cfg.c	412	log plain
-rw-r--r--	no-outofbounds.c	883	log plain
-rw-r--r--	no-return.c	1127	log plain
-rw-r--r--	no-store-suppression.cpp	687	log plain
-rw-r--r--	no-unreachable-dtors.cpp	383	log plain
-rw-r--r--	non-diagnosable-assumptions.c	1753	log plain
-rw-r--r--	nonnull-global-constants.mm	3637	log plain
-rw-r--r--	nonnull.cpp	767	log plain
-rw-r--r--	nonnull.m	5211	log plain
-rw-r--r--	nonnullparamchecker-crash.cpp	244	log plain
-rw-r--r--	novoidtypecrash.c	306	log plain
-rw-r--r--	null-deref-offsets.c	1448	log plain
-rw-r--r--	null-deref-path-notes.c	3172	log plain
-rw-r--r--	null-deref-path-notes.cpp	811	log plain
-rw-r--r--	null-deref-path-notes.m	2320	log plain
-rw-r--r--	null-deref-ps-region.c	1898	log plain
-rw-r--r--	null-deref-ps.c	7153	log plain
-rw-r--r--	null-deref-static.m	925	log plain
-rw-r--r--	nullability-arc.mm	994	log plain
-rw-r--r--	nullability-no-arc.mm	3086	log plain
-rw-r--r--	nullability-notes.m	1906	log plain
-rw-r--r--	nullability.c	479	log plain
-rw-r--r--	nullability.m	278	log plain
-rw-r--r--	nullability.mm	17609	log plain
-rw-r--r--	nullability_nullonly.mm	5053	log plain
-rw-r--r--	nullptr.cpp	5589	log plain
-rw-r--r--	number-object-conversion.c	2790	log plain
-rw-r--r--	number-object-conversion.cpp	5185	log plain
-rw-r--r--	number-object-conversion.m	6887	log plain
-rw-r--r--	number-object-conversion.mm	470	log plain
-rw-r--r--	objc-arc.m	8545	log plain
-rw-r--r--	objc-bool.m	396	log plain
-rw-r--r--	objc-boxing.m	2858	log plain
-rw-r--r--	objc-encode.m	233	log plain
-rw-r--r--	objc-for.m	8253	log plain
-rw-r--r--	objc-indirect-copy-restore.m	1922	log plain
-rw-r--r--	objc-live-crash.mm	365	log plain
-rw-r--r--	objc-message.m	1292	log plain
-rw-r--r--	objc-method-coverage.m	442	log plain
-rw-r--r--	objc-properties.m	2271	log plain
-rw-r--r--	objc-radar17039661.m	1892	log plain
-rw-r--r--	objc-string.mm	1208	log plain
-rw-r--r--	objc-subscript.m	2383	log plain
d---------	objc	75	log plain
-rw-r--r--	objc_invalidation.m	12102	log plain
-rw-r--r--	objcpp-uninitialized-object.mm	818	log plain
-rw-r--r--	offsetofexpr-callback.c	382	log plain
-rw-r--r--	openmp-unsupported.c	304	log plain
-rw-r--r--	operator-calls.cpp	4413	log plain
-rw-r--r--	os_object_base.h	2318	log plain
-rw-r--r--	os_smart_ptr.h	1302	log plain
-rw-r--r--	osobject-retain-release.cpp	35543	log plain
-rw-r--r--	osobjectcstylecastchecker_test.cpp	1498	log plain
-rw-r--r--	out-of-bounds-false-positive.c	4169	log plain
-rw-r--r--	out-of-bounds-new.cpp	4309	log plain
-rw-r--r--	out-of-bounds.c	4607	log plain
-rw-r--r--	outofbound-notwork.c	728	log plain
-rw-r--r--	outofbound.c	2875	log plain
-rw-r--r--	override-werror.c	610	log plain
-rw-r--r--	padding_c.c	5332	log plain
-rw-r--r--	padding_cpp.cpp	4553	log plain
-rw-r--r--	padding_inherit.cpp	974	log plain
-rw-r--r--	padding_message.cpp	5460	log plain
-rw-r--r--	padding_no_unique_address.cpp	766	log plain
-rw-r--r--	path-notes-impl-param.m	841	log plain
-rw-r--r--	pch_crash.cpp	649	log plain
-rw-r--r--	placement-new-user-defined.cpp	523	log plain
-rw-r--r--	placement-new.cpp	13740	log plain
-rw-r--r--	plist-diagnostics-template-function.cpp	987	log plain
-rw-r--r--	plist-diagnostics-template-record.cpp	1097	log plain
-rw-r--r--	plist-html-macros.c	888	log plain
-rw-r--r--	plist-macros-with-expansion-ctu.c	2939	log plain
-rw-r--r--	plist-macros-with-expansion.c	1041	log plain
-rw-r--r--	plist-macros-with-expansion.cpp	34203	log plain
-rw-r--r--	plist-macros.cpp	1902	log plain
-rw-r--r--	plist-output-alternate.m	1898	log plain
-rw-r--r--	plist-output.m	3502	log plain
-rw-r--r--	plist-stats-output.c	471	log plain
-rw-r--r--	pointer-arithmetic.c	711	log plain
-rw-r--r--	pointer-escape-on-conservative-calls.c	336	log plain
-rw-r--r--	pointer-to-member.cpp	8540	log plain
-rw-r--r--	pr22954.c	33686	log plain
-rw-r--r--	pr37802.cpp	1696	log plain
-rw-r--r--	pr4209.m	3559	log plain
-rw-r--r--	pr_2542_rdar_6793404.m	1992	log plain
-rw-r--r--	pr_4164.c	1594	log plain
-rw-r--r--	preprocessor-setup.c	121	log plain
-rw-r--r--	print-ranges.cpp	1487	log plain
-rw-r--r--	produce-symbolcast_x64.cpp	140989	log plain
-rw-r--r--	produce-symbolcast_x86.cpp	141386	log plain
-rw-r--r--	properties.m	29988	log plain
-rw-r--r--	properties.mm	2421	log plain
-rw-r--r--	pthreadlock.c	12435	log plain
-rw-r--r--	pthreadlock_state.c	1854	log plain
-rw-r--r--	pthreadlock_state_nottracked.c	820	log plain
-rw-r--r--	ptr-arith.c	14211	log plain
-rw-r--r--	ptr-arith.cpp	2932	log plain
-rw-r--r--	ptr-cmp-const-trunc.cl	293	log plain
-rw-r--r--	ptr-iter.cpp	958	log plain
-rw-r--r--	ptr-sort.cpp	3084	log plain
-rw-r--r--	qt_malloc.cpp	808	log plain
-rw-r--r--	range_casts.c	4187	log plain
-rw-r--r--	rdar-6442306-1.m	895	log plain
-rw-r--r--	rdar-6540084.m	1906	log plain
-rw-r--r--	rdar-6541136-region.c	1075	log plain
-rw-r--r--	rdar-6562655.m	2087	log plain
-rw-r--r--	rdar-6600344-nil-receiver-undefined-struct-ret.m	472	log plain
-rw-r--r--	rdar-7168531.m	422	log plain
-rw-r--r--	redecl.c	264	log plain
-rw-r--r--	redefined_system.c	473	log plain
-rw-r--r--	refcnt_naming.m	2347	log plain
-rw-r--r--	reference.cpp	5498	log plain
-rw-r--r--	region-1.m	3852	log plain
-rw-r--r--	region-store.c	2794	log plain
-rw-r--r--	region-store.cpp	405	log plain
-rw-r--r--	region_store_overflow.c	381	log plain
-rw-r--r--	reinterpret-cast-pointer-to-member.cpp	769	log plain
-rw-r--r--	reinterpret-cast.cpp	2279	log plain
-rw-r--r--	report-uniqueing.cpp	430	log plain
-rw-r--r--	retain-count-alloc.cpp	899	log plain
-rw-r--r--	retain-release-arc.m	6250	log plain
-rw-r--r--	retain-release-cache-out.m	750	log plain
-rw-r--r--	retain-release-cf-audited.m	1169	log plain
-rw-r--r--	retain-release-compound-literal.m	689	log plain
-rw-r--r--	retain-release-cpp-classes.cpp	840	log plain
-rw-r--r--	retain-release-inline.m	24059	log plain
-rw-r--r--	retain-release-path-notes.m	21658	log plain
-rw-r--r--	retain-release-region-store.m	10849	log plain
-rw-r--r--	retain-release-safe.c	3162	log plain
-rw-r--r--	retain-release.m	89067	log plain
-rw-r--r--	retain-release.mm	22441	log plain
-rw-r--r--	retaincountchecker-compoundregion.m	1266	log plain
-rw-r--r--	return-ptr-range.cpp	4596	log plain
-rw-r--r--	return-stmt-merge.cpp	1188	log plain
-rw-r--r--	return-value-guaranteed.cpp	2412	log plain
-rw-r--r--	returns_nonnull-attribute.cpp	452	log plain
-rw-r--r--	runtime-regression.c	2165	log plain
-rw-r--r--	rvo.cpp	561	log plain
d---------	scan-build	483	log plain
-rw-r--r--	scopes-cfg-output.cpp	36328	log plain
-rw-r--r--	security-syntax-checks-no-emit.c	1039	log plain
-rw-r--r--	security-syntax-checks-nscoder.m	2014	log plain
-rw-r--r--	security-syntax-checks.c	921	log plain
-rw-r--r--	security-syntax-checks.m	16342	log plain
-rw-r--r--	self-assign.cpp	4439	log plain
-rw-r--r--	self-init.m	6373	log plain
-rw-r--r--	shallow-mode.m	630	log plain
-rw-r--r--	show-checker-list.c	2212	log plain
-rw-r--r--	silence-checkers-and-packages-core-all.cpp	1333	log plain
-rw-r--r--	silence-checkers-and-packages-core-div-by-zero.cpp	479	log plain
-rw-r--r--	silence-checkers.cpp	2030	log plain
-rw-r--r--	simple-stream-checks.c	2463	log plain
-rw-r--r--	sizeofpack.cpp	408	log plain
-rw-r--r--	sizeofpointer.c	240	log plain
-rw-r--r--	smart-ptr-text-output.cpp	16365	log plain
-rw-r--r--	smart-ptr.cpp	17215	log plain
-rw-r--r--	solver-sym-simplification-adjustment.c	3878	log plain
-rw-r--r--	solver-sym-simplification-bool.cpp	290	log plain
-rw-r--r--	solver-sym-simplification-concreteint.c	1138	log plain
-rw-r--r--	solver-sym-simplification-no-crash.c	455	log plain
-rw-r--r--	solver-sym-simplification-no-crash2.c	475	log plain
-rw-r--r--	solver-sym-simplification-ptr-bool.cl	1195	log plain
-rw-r--r--	solver-sym-simplification-with-proper-range-type.c	1068	log plain
-rw-r--r--	stack-addr-ps.c	2757	log plain
-rw-r--r--	stack-addr-ps.cpp	5472	log plain
-rw-r--r--	stack-block-returned.cpp	305	log plain
-rw-r--r--	stack-capture-leak-arc.mm	5965	log plain
-rw-r--r--	stack-capture-leak-no-arc.mm	2321	log plain
-rw-r--r--	stack-frame-context-revision.cpp	1001	log plain
-rw-r--r--	stackaddrleak.c	2193	log plain
-rw-r--r--	static_local.m	442	log plain
-rw-r--r--	stats.c	296	log plain
-rw-r--r--	std-c-library-functions-POSIX-lookup.c	1002	log plain
-rw-r--r--	std-c-library-functions-POSIX-socket-sockaddr.cpp	2311	log plain
-rw-r--r--	std-c-library-functions-POSIX.c	18332	log plain
-rw-r--r--	std-c-library-functions-arg-constraints-note-tags.cpp	2316	log plain
-rw-r--r--	std-c-library-functions-arg-constraints-notes.cpp	3188	log plain
-rw-r--r--	std-c-library-functions-arg-constraints-tracking-notes.c	1547	log plain
-rw-r--r--	std-c-library-functions-arg-constraints.c	11412	log plain
-rw-r--r--	std-c-library-functions-arg-constraints.cpp	674	log plain
-rw-r--r--	std-c-library-functions-arg-cstring-dependency.c	948	log plain
-rw-r--r--	std-c-library-functions-arg-enabled-checkers.c	2740	log plain
-rw-r--r--	std-c-library-functions-arg-weakdeps.c	2453	log plain
-rw-r--r--	std-c-library-functions-eof.c	1294	log plain
-rw-r--r--	std-c-library-functions-inlined.c	814	log plain
-rw-r--r--	std-c-library-functions-lookup.c	718	log plain
-rw-r--r--	std-c-library-functions-lookup.cpp	820	log plain
-rw-r--r--	std-c-library-functions-path-notes.c	1934	log plain
-rw-r--r--	std-c-library-functions-restrict.c	1105	log plain
-rw-r--r--	std-c-library-functions-restrict.cpp	1150	log plain
-rw-r--r--	std-c-library-functions-vs-stream-checker.c	2179	log plain
-rw-r--r--	std-c-library-functions.c	8814	log plain
-rw-r--r--	std-c-library-functions.cpp	540	log plain
-rw-r--r--	std-c-library-posix-crash.c	582	log plain
-rw-r--r--	std-string.cpp	3664	log plain
-rw-r--r--	stl-algorithm-modeling-aggressive-std-find-modeling.cpp	28483	log plain
-rw-r--r--	stl-algorithm-modeling.cpp	26716	log plain
-rw-r--r--	stream-error.c	6978	log plain
-rw-r--r--	stream-note.c	5475	log plain
-rw-r--r--	stream.c	6160	log plain
-rw-r--r--	stream.cpp	450	log plain
-rw-r--r--	string-fail.c	3489	log plain
-rw-r--r--	string-with-signedness.c	283	log plain
-rw-r--r--	string.c	50384	log plain
-rw-r--r--	string.cpp	865	log plain
-rw-r--r--	structured_bindings.cpp	638	log plain
-rw-r--r--	superclass.m	8960	log plain
-rw-r--r--	sval-dump-int128.c	391	log plain
-rw-r--r--	svalbuilder-casts.cpp	2365	log plain
-rw-r--r--	svalbuilder-float-cast.c	693	log plain
-rw-r--r--	svalbuilder-logic.c	457	log plain
-rw-r--r--	svalbuilder-rearrange-comparisons.cpp	36919	log plain
-rw-r--r--	svalbuilder-simplify-compound-svals.cpp	2251	log plain
-rw-r--r--	svalbuilder-simplify-in-evalbinop.cpp	787	log plain
-rw-r--r--	svalbuilder-simplify-intsym.cpp	651	log plain
-rw-r--r--	svalbuilder-simplify-no-crash.c	376	log plain
-rw-r--r--	switch-case.c	6554	log plain
-rw-r--r--	symbol-escape.cpp	1005	log plain
-rw-r--r--	symbol-reaper-lambda.cpp	798	log plain
-rw-r--r--	symbol-reaper.c	4659	log plain
-rw-r--r--	symbol-reaper.cpp	1587	log plain
-rw-r--r--	symbol-simplification-assertion.c	719	log plain
-rw-r--r--	symbol-simplification-bo-div.c	254	log plain
-rw-r--r--	symbol-simplification-disequality-info.cpp	2015	log plain
-rw-r--r--	symbol-simplification-fixpoint-iteration-unreachable-code.cpp	1523	log plain
-rw-r--r--	symbol-simplification-fixpoint-one-iteration.cpp	1417	log plain
-rw-r--r--	symbol-simplification-fixpoint-two-iterations.cpp	1704	log plain
-rw-r--r--	symbol-simplification-nonloc-loc.cpp	2312	log plain
-rw-r--r--	symbol-simplification-reassume.cpp	1098	log plain
-rw-r--r--	symbolcast-floatingpoint.cpp	846	log plain
-rw-r--r--	taint-checker-callback-order-has-definition.c	1266	log plain
-rw-r--r--	taint-checker-callback-order-without-definition.c	1163	log plain
-rw-r--r--	taint-diagnostic-visitor.c	1677	log plain
-rw-r--r--	taint-dumps.c	420	log plain
-rw-r--r--	taint-generic.c	32829	log plain
-rw-r--r--	taint-generic.cpp	3150	log plain
-rw-r--r--	taint-tester.c	5640	log plain
-rw-r--r--	taint-tester.cpp	902	log plain
-rw-r--r--	taint-tester.m	558	log plain
-rw-r--r--	temp-obj-dtors-cfg-output.cpp	49441	log plain
-rw-r--r--	temp-obj-dtors-option.cpp	614	log plain
-rw-r--r--	template-param-objects.cpp	1537	log plain
-rw-r--r--	templates.cpp	1667	log plain
-rw-r--r--	temporaries-callback-order.cpp	858	log plain
-rw-r--r--	temporaries.cpp	31648	log plain
-rw-r--r--	temporaries.mm	551	log plain
-rw-r--r--	test-after-div-zero.c	6907	log plain
-rw-r--r--	test-include-cpp.cpp	320	log plain
-rw-r--r--	test-include-cpp.h	138	log plain
-rw-r--r--	test-include.c	577	log plain
-rw-r--r--	test-include.h	49	log plain
-rw-r--r--	test-objc-non-nil-return-value-checker.m	1369	log plain
-rw-r--r--	test-separate-retaincount.cpp	974	log plain
-rw-r--r--	test-variably-modified-types.c	494	log plain
-rw-r--r--	this-pointer.cpp	1580	log plain
-rw-r--r--	track-control-dependency-conditions.cpp	37205	log plain
-rw-r--r--	track-control-dependency-conditions.m	482	log plain
-rw-r--r--	transparent_union_bug.c	809	log plain
-rw-r--r--	traversal-algorithm.mm	5517	log plain
-rw-r--r--	traversal-begin-end-function.c	484	log plain
-rw-r--r--	traversal-path-unification.c	701	log plain
-rw-r--r--	trivial-copy-struct.cpp	2945	log plain
-rw-r--r--	trustnonnullchecker_test.m	5325	log plain
-rw-r--r--	trustnonnullchecker_test.mm	235	log plain
-rw-r--r--	unary-sym-expr-no-crash.c	632	log plain
-rw-r--r--	unary-sym-expr-z3-refutation.c	1006	log plain
-rw-r--r--	unary-sym-expr.c	1534	log plain
-rw-r--r--	undef-buffers.c	1058	log plain
-rw-r--r--	undef-call.c	564	log plain
-rw-r--r--	undefined-new-element.cpp	2295	log plain
d---------	unified-sources	164	log plain
-rw-r--r--	uninit-asm-goto.cpp	2504	log plain
-rw-r--r--	uninit-bug-first-iteration-init.c	490	log plain
-rw-r--r--	uninit-const.c	10273	log plain
-rw-r--r--	uninit-const.cpp	4995	log plain
-rw-r--r--	uninit-exhaustive-switch-bug.c	314	log plain
-rw-r--r--	uninit-ps-rdar6145427.m	1623	log plain
-rw-r--r--	uninit-sometimes.cpp	10384	log plain
-rw-r--r--	uninit-structured-binding-array.cpp	8575	log plain
-rw-r--r--	uninit-structured-binding-struct.cpp	2305	log plain
-rw-r--r--	uninit-structured-binding-tuple.cpp	15153	log plain
-rw-r--r--	uninit-val-const-likeness.c	1859	log plain
-rw-r--r--	uninit-vals-union.c	262	log plain
-rw-r--r--	uninit-vals.c	5872	log plain
-rw-r--r--	uninit-vals.cpp	814	log plain
-rw-r--r--	uninit-vals.m	14631	log plain
-rw-r--r--	unions-region.m	1170	log plain
-rw-r--r--	unions.cpp	3276	log plain
-rw-r--r--	unix-api.c	2099	log plain
-rw-r--r--	unix-api.cpp	1290	log plain
-rw-r--r--	unix-fns.c	7747	log plain
-rw-r--r--	unreachable-code-path.c	4020	log plain
-rw-r--r--	unsupported-types.c	1365	log plain
-rw-r--r--	unused-ivars.m	3279	log plain
-rw-r--r--	use-after-move.cpp	33402	log plain
-rw-r--r--	valist-as-lazycompound.c	724	log plain
-rw-r--r--	valist-uninitialized-no-undef.c	1758	log plain
-rw-r--r--	valist-uninitialized.c	5645	log plain
-rw-r--r--	valist-unterminated.c	5454	log plain
-rw-r--r--	variadic-method-types.m	5165	log plain
-rw-r--r--	vector.m	1437	log plain
-rw-r--r--	vfork.c	3931	log plain
-rw-r--r--	virtualcall-fixits.cpp	1695	log plain
-rw-r--r--	virtualcall-plist.cpp	1188	log plain
-rw-r--r--	virtualcall.cpp	4756	log plain
-rw-r--r--	virtualcall.h	200	log plain
-rw-r--r--	vla-overflow.c	833	log plain
-rw-r--r--	vla.c	3721	log plain
-rw-r--r--	weak-dependencies.c	481	log plain
-rw-r--r--	weak-functions.c	4544	log plain
-rw-r--r--	wstring.c	18068	log plain
-rw-r--r--	yaccignore.c	510	log plain
-rw-r--r--	z3-crosscheck.c	1166	log plain
-rw-r--r--	z3-refute-enum-crash.cpp	3834	log plain
d---------	z3	183	log plain
-rw-r--r--	zero-operands.c	1429	log plain
-rw-r--r--	zero-size-non-pod-array.cpp	4720	log plain