Feature « test - ~cnx/klee - KLEE fork for patch differentiation testing

Mode	Name	Size
-rw-r--r--	AddressOfLabels.c	643	log plain blame
-rw-r--r--	AddressOfLabelsSymbolic.c	859	log plain blame
-rw-r--r--	Alias.c	1016	log plain blame
-rw-r--r--	Atomic.c	1360	log plain blame
-rw-r--r--	BFSSearcher.c	449	log plain blame
-rw-r--r--	BFSSearcherAndDFSSearcherInterleaved.c	1346	log plain blame
-rw-r--r--	BitcastAlias.ll	1074	log plain blame
-rw-r--r--	BitcastAliasMD2U.ll	1092	log plain blame
-rw-r--r--	ByteSwap.c	363	log plain blame
-rw-r--r--	CallToUndefinedExternal.cpp	299	log plain blame
-rw-r--r--	CheckForImpliedValue.c.failing	622	log plain blame
-rw-r--r--	CheckMemoryAccess.c	606	log plain blame
-rw-r--r--	CompressedExprLogging.c	1447	log plain blame
-rw-r--r--	ConcretizeSymbolicExternals.c	1274	log plain blame
-rw-r--r--	ConstantArray.ll	2055	log plain blame
-rw-r--r--	ConstantStruct.ll	1128	log plain blame
-rw-r--r--	CopyOnWrite.c	552	log plain blame
-rw-r--r--	DanglingConcreteReadExpr.c	510	log plain blame
-rw-r--r--	DefineFixedObject.c	336	log plain blame
-rw-r--r--	DeterministicSwitch.c	958	log plain blame
-rw-r--r--	DivCheck.c	1983	log plain blame
-rw-r--r--	DoubleFree.c	339	log plain blame
-rw-r--r--	DumpStatesOnHalt.c	382	log plain blame
-rw-r--r--	EntryPoint.c	815	log plain blame
-rw-r--r--	EntryPointMissing.c	2721	log plain blame
-rw-r--r--	EntryPointUclibcPosix.c	1485	log plain blame
-rw-r--r--	Envp.c	535	log plain blame
-rw-r--r--	EscapingFunctions.c	1352	log plain blame
-rw-r--r--	EscapingFunctionsAlias.c	1429	log plain blame
-rw-r--r--	ExitOnErrorType.c	280	log plain blame
-rw-r--r--	ExprLogging.c	1615	log plain blame
-rw-r--r--	ExtCall.c	560	log plain blame
-rw-r--r--	ExtCallOverapprox.c	644	log plain blame
-rw-r--r--	ExtCallWarnings.c	830	log plain blame
-rw-r--r--	ExternalWeakLinkage.c	251	log plain blame
-rw-r--r--	FNeg.ll	369	log plain blame
-rw-r--r--	Float.c	437	log plain blame
-rw-r--r--	FloatingPt.c	395	log plain blame
-rw-r--r--	FunctionAlias.c	5610	log plain blame
-rw-r--r--	FunctionAliasExit.c	679	log plain blame
-rw-r--r--	FunctionAliasVarArg.c	2134	log plain blame
-rw-r--r--	FunctionPointer.c	1263	log plain blame
-rw-r--r--	GetElementPtr.ll	990	log plain blame
-rw-r--r--	GetValue.c	422	log plain blame
-rw-r--r--	GlobalVariable.ll	1047	log plain blame
-rw-r--r--	ImpliedValue.c.failing	4337	log plain blame
-rw-r--r--	InAndOutOfBounds.c	767	log plain blame
-rw-r--r--	IndirectCallToBuiltin.c	317	log plain blame
-rw-r--r--	IndirectCallToExternal.c	314	log plain blame
-rw-r--r--	InlineAsm.c	521	log plain blame
-rw-r--r--	InsertExtractValue.ll	1138	log plain blame
-rw-r--r--	InvalidBitfieldAccess.c.failing	617	log plain blame
-rw-r--r--	IsSymbolic.c	387	log plain blame
-rw-r--r--	KleeExecTreeBogus.test	2909	log plain blame
-rw-r--r--	KleeReportError.c	732	log plain blame
-rw-r--r--	KleeStats.c	1899	log plain blame
-rw-r--r--	KleeStatsBranches.c	1851	log plain blame
-rw-r--r--	KleeStatsColumns.test	618	log plain blame
-rw-r--r--	KleeStatsCsv.test	714	log plain blame
-rw-r--r--	KleeStatsEmpty.test	326	log plain blame
-rw-r--r--	KleeStatsNoBr.c	534	log plain blame
-rw-r--r--	KleeStatsTermClasses.c	2387	log plain blame
-rw-r--r--	LargeArrayBecomesSym.c	826	log plain blame
-rw-r--r--	LargeReturnTypes.cpp	1073	log plain blame
-rw-r--r--	LinkLLVMLib.c	643	log plain blame
-rw-r--r--	LoggingInstructions.c	1852	log plain blame
-rw-r--r--	LongDouble.c	1203	log plain blame
-rw-r--r--	LongDoubleSupport.c	866	log plain blame
-rw-r--r--	LowerSwitch.c	976	log plain blame
-rw-r--r--	MakeConcreteSymbolic.c	511	log plain blame
-rw-r--r--	MakeSymbolicAPI.c	1187	log plain blame
-rw-r--r--	MakeSymbolicName.c	412	log plain blame
-rw-r--r--	MaxStaticForkPct.c	1629	log plain blame
-rw-r--r--	Memalign.c	376	log plain blame
-rw-r--r--	MemoryLimit.c	1980	log plain blame
-rw-r--r--	MultiMkSym.c	1062	log plain blame
-rw-r--r--	MultipleFreeResolution.c	1131	log plain blame
-rw-r--r--	MultipleReadResolution.c	820	log plain blame
-rw-r--r--	MultipleReallocResolution.c	1824	log plain blame
-rw-r--r--	MultipleWriteResolution.c	854	log plain blame
-rw-r--r--	NamedSeedMatching.c	1273	log plain blame
-rw-r--r--	NoExternalCallsAllowed.c	399	log plain blame
-rw-r--r--	NonSizedGlobals.c	207	log plain blame
-rw-r--r--	OneFreeError.c	374	log plain blame
-rw-r--r--	OneOutOfBounds.c	372	log plain blame
-rw-r--r--	Optimize.c	500	log plain blame
-rw-r--r--	OverlappedError.c	534	log plain blame
-rw-r--r--	OvershiftCheck.c	761	log plain blame
-rw-r--r--	PreferCex.c	489	log plain blame
-rw-r--r--	RaiseAsm.c	999	log plain blame
-rw-r--r--	ReadStringAtAddress.c	866	log plain blame
-rw-r--r--	Realloc.c	443	log plain blame
-rw-r--r--	ReplayPath.c	820	log plain blame
-rw-r--r--	RewriteEqualities.c	939	log plain blame
-rw-r--r--	Searchers.c	2133	log plain blame
-rw-r--r--	SeedConcretizeExtendFP.c	1130	log plain blame
-rw-r--r--	SeedConcretizeExternalCall.c	798	log plain blame
-rw-r--r--	SeedConcretizeFP.c	942	log plain blame
-rw-r--r--	SeedConcretizeMalloc.c	1056	log plain blame
-rw-r--r--	SeedExtension.c	995	log plain blame
-rw-r--r--	SetForking.c	560	log plain blame
-rw-r--r--	ShiftCheck.c	2090	log plain blame
-rw-r--r--	SilentKleeAssume.c	1404	log plain blame
-rw-r--r--	SingleObjectResolution.c	1374	log plain blame
-rw-r--r--	SolverTimeout.c	505	log plain blame
-rw-r--r--	SourceMapping.c	1318	log plain blame
-rw-r--r--	StackOverflow.c	347	log plain blame
-rw-r--r--	StackTraceOutput.c	966	log plain blame
-rw-r--r--	TargetMismatch.c	362	log plain blame
-rw-r--r--	VarArg.c	2077	log plain blame
-rw-r--r--	VarArgAlignment.c	2686	log plain blame
-rw-r--r--	VarArgByVal.c	3142	log plain blame
-rw-r--r--	VarArgByValOld.c	2801	log plain blame
-rw-r--r--	VarArgByValReported.c	1018	log plain blame
-rw-r--r--	VarArgLongDouble.c	921	log plain blame
-rw-r--r--	WithLibc.c	559	log plain blame
-rw-r--r--	WriteCov.c	805	log plain blame
-rw-r--r--	WriteExecutionTree.c	2702	log plain blame
-rw-r--r--	_utils._ll	2312	log plain blame
-rw-r--r--	arithmetic-right-overshift-sym-conc.c	2012	log plain blame
-rw-r--r--	asm_lifting.ll	920	log plain blame
-rw-r--r--	consecutive_divide_by_zero.c	1073	log plain blame
-rw-r--r--	const_array_opt1.c	1044	log plain blame
d---------	exec-tree-dbs	388	log plain
d---------	klee-stats	147	log plain
-rw-r--r--	left-overshift-sym-conc.c	1581	log plain blame
-rw-r--r--	logical-right-overshift-sym-conc.c	1653	log plain blame
-rw-r--r--	srem.c	1343	log plain blame
d---------	ubsan	1798	log plain
-rw-r--r--	utils.h	655	log plain blame