about summary refs log tree commit diff homepage
path: root/test/Feature
ModeNameSize
-rw-r--r--AddressOfLabels.c643log plain blame
-rw-r--r--AddressOfLabelsSymbolic.c859log plain blame
-rw-r--r--Alias.c1016log plain blame
-rw-r--r--Atomic.c1360log plain blame
-rw-r--r--BFSSearcher.c449log plain blame
-rw-r--r--BFSSearcherAndDFSSearcherInterleaved.c1346log plain blame
-rw-r--r--BitcastAlias.ll1074log plain blame
-rw-r--r--BitcastAliasMD2U.ll1092log plain blame
-rw-r--r--ByteSwap.c363log plain blame
-rw-r--r--CallToUndefinedExternal.cpp299log plain blame
-rw-r--r--CheckForImpliedValue.c.failing622log plain blame
-rw-r--r--CheckMemoryAccess.c606log plain blame
-rw-r--r--CompressedExprLogging.c1447log plain blame
-rw-r--r--ConstantArray.ll2055log plain blame
-rw-r--r--ConstantStruct.ll1128log plain blame
-rw-r--r--CopyOnWrite.c552log plain blame
-rw-r--r--DanglingConcreteReadExpr.c510log plain blame
-rw-r--r--DefineFixedObject.c336log plain blame
-rw-r--r--DeterministicSwitch.c958log plain blame
-rw-r--r--DivCheck.c1983log plain blame
-rw-r--r--DoubleFree.c339log plain blame
-rw-r--r--DumpStatesOnHalt.c382log plain blame
-rw-r--r--EntryPoint.c815log plain blame
-rw-r--r--EntryPointMissing.c2721log plain blame
-rw-r--r--EntryPointUclibcPosix.c1485log plain blame
-rw-r--r--Envp.c535log plain blame
-rw-r--r--EscapingFunctions.c1352log plain blame
-rw-r--r--EscapingFunctionsAlias.c1429log plain blame
-rw-r--r--ExitOnErrorType.c280log plain blame
-rw-r--r--ExprLogging.c1615log plain blame
-rw-r--r--ExtCall.c560log plain blame
-rw-r--r--ExtCallOverapprox.c644log plain blame
-rw-r--r--ExtCallWarnings.c830log plain blame
-rw-r--r--ExternalWeakLinkage.c251log plain blame
-rw-r--r--FNeg.ll369log plain blame
-rw-r--r--Float.c437log plain blame
-rw-r--r--FloatingPt.c395log plain blame
-rw-r--r--FunctionAlias.c5610log plain blame
-rw-r--r--FunctionAliasExit.c679log plain blame
-rw-r--r--FunctionAliasVarArg.c2134log plain blame
-rw-r--r--FunctionPointer.c1263log plain blame
-rw-r--r--GetElementPtr.ll990log plain blame
-rw-r--r--GetValue.c422log plain blame
-rw-r--r--GlobalVariable.ll1047log plain blame
-rw-r--r--ImpliedValue.c.failing4337log plain blame
-rw-r--r--InAndOutOfBounds.c767log plain blame
-rw-r--r--IndirectCallToBuiltin.c317log plain blame
-rw-r--r--IndirectCallToExternal.c314log plain blame
-rw-r--r--InlineAsm.c521log plain blame
-rw-r--r--InsertExtractValue.ll1138log plain blame
-rw-r--r--InvalidBitfieldAccess.c.failing617log plain blame
-rw-r--r--IsSymbolic.c387log plain blame
-rw-r--r--KleeExecTreeBogus.test2909log plain blame
-rw-r--r--KleeReportError.c732log plain blame
-rw-r--r--KleeStats.c1899log plain blame
-rw-r--r--KleeStatsBranches.c1851log plain blame
-rw-r--r--KleeStatsColumns.test618log plain blame
-rw-r--r--KleeStatsCsv.test714log plain blame
-rw-r--r--KleeStatsEmpty.test326log plain blame
-rw-r--r--KleeStatsNoBr.c534log plain blame
-rw-r--r--KleeStatsTermClasses.c2387log plain blame
-rw-r--r--LargeArrayBecomesSym.c826log plain blame
-rw-r--r--LargeReturnTypes.cpp1073log plain blame
-rw-r--r--LinkLLVMLib.c643log plain blame
-rw-r--r--LoggingInstructions.c1852log plain blame
-rw-r--r--LongDouble.c1203log plain blame
-rw-r--r--LongDoubleSupport.c866log plain blame
-rw-r--r--LowerSwitch.c976log plain blame
-rw-r--r--MakeConcreteSymbolic.c511log plain blame
-rw-r--r--MakeSymbolicAPI.c1187log plain blame
-rw-r--r--MakeSymbolicName.c412log plain blame
-rw-r--r--MaxStaticForkPct.c1629log plain blame
-rw-r--r--Memalign.c376log plain blame
-rw-r--r--MemoryLimit.c1980log plain blame
-rw-r--r--MultiMkSym.c1062log plain blame
-rw-r--r--MultipleFreeResolution.c1131log plain blame
-rw-r--r--MultipleReadResolution.c820log plain blame
-rw-r--r--MultipleReallocResolution.c1824log plain blame
-rw-r--r--MultipleWriteResolution.c854log plain blame
-rw-r--r--NamedSeedMatching.c1273log plain blame
-rw-r--r--NoExternalCallsAllowed.c399log plain blame
-rw-r--r--NonSizedGlobals.c207log plain blame
-rw-r--r--OneFreeError.c374log plain blame
-rw-r--r--OneOutOfBounds.c372log plain blame
-rw-r--r--Optimize.c500log plain blame
-rw-r--r--OverlappedError.c534log plain blame
-rw-r--r--OvershiftCheck.c761log plain blame
-rw-r--r--PreferCex.c489log plain blame
-rw-r--r--RaiseAsm.c999log plain blame
-rw-r--r--ReadStringAtAddress.c866log plain blame
-rw-r--r--Realloc.c443log plain blame
-rw-r--r--ReplayPath.c820log plain blame
-rw-r--r--RewriteEqualities.c939log plain blame
-rw-r--r--Searchers.c2133log plain blame
-rw-r--r--SeedConcretizeExtendFP.c1130log plain blame
-rw-r--r--SeedConcretizeExternalCall.c798log plain blame
-rw-r--r--SeedConcretizeFP.c942log plain blame
-rw-r--r--SeedConcretizeMalloc.c1056log plain blame
-rw-r--r--SeedExtension.c995log plain blame
-rw-r--r--SetForking.c560log plain blame
-rw-r--r--ShiftCheck.c2090log plain blame
-rw-r--r--SilentKleeAssume.c1404log plain blame
-rw-r--r--SingleObjectResolution.c1374log plain blame
-rw-r--r--SolverTimeout.c505log plain blame
-rw-r--r--SourceMapping.c1318log plain blame
-rw-r--r--StackOverflow.c347log plain blame
-rw-r--r--StackTraceOutput.c966log plain blame
-rw-r--r--TargetMismatch.c362log plain blame
-rw-r--r--VarArg.c2077log plain blame
-rw-r--r--VarArgAlignment.c2686log plain blame
-rw-r--r--VarArgByVal.c3142log plain blame
-rw-r--r--VarArgByValOld.c2801log plain blame
-rw-r--r--VarArgByValReported.c1018log plain blame
-rw-r--r--VarArgLongDouble.c921log plain blame
-rw-r--r--WithLibc.c559log plain blame
-rw-r--r--WriteCov.c805log plain blame
-rw-r--r--WriteExecutionTree.c2702log plain blame
-rw-r--r--_utils._ll2312log plain blame
-rw-r--r--arithmetic-right-overshift-sym-conc.c2012log plain blame
-rw-r--r--asm_lifting.ll920log plain blame
-rw-r--r--consecutive_divide_by_zero.c1073log plain blame
-rw-r--r--const_array_opt1.c1044log plain blame
d---------exec-tree-dbs388log plain
d---------klee-stats147log plain
-rw-r--r--left-overshift-sym-conc.c1581log plain blame
-rw-r--r--logical-right-overshift-sym-conc.c1653log plain blame
-rw-r--r--srem.c1343log plain blame
d---------ubsan1798log plain
-rw-r--r--utils.h655log plain blame
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 18:11:56 +0000