├── CMakeLists.txt ├── README.md ├── clang-kernel-build ├── LICENSE ├── Makefile.build.patch ├── README.md ├── boot-workaround-PR18415.patch ├── clang-flags.patch ├── clang-uaccess.patch ├── clang_update_to_revision.sh ├── clang_wrapper.py ├── gdb.script ├── llist.patch └── run_qemu.sh ├── include ├── Checker │ ├── DoubleFreeChecker.h │ ├── DoubleLockChecker.h │ ├── KernelChecker.h │ ├── KernelCheckerAPI.h │ ├── MemLeakChecker.h │ ├── SrcSnkAnalysis.h │ ├── UseAfterFreeChecker.h │ ├── UseAfterReturnChecker.h │ └── UseAfterReturnCheckerLite.h ├── KernelModels │ ├── ContextBuilder.h │ ├── Driver.h │ ├── DriverBuilder.h │ ├── Initcall.h │ ├── InitcallBuilder.h │ ├── InitcallFactory.h │ ├── KernelContext.h │ ├── KernelContextFactory.h │ ├── KernelContextObj.h │ ├── KernelExtPass.h │ ├── KernelPartitioner.h │ ├── KernelSVFGBuilder.h │ ├── SyscallBuilder.h │ └── Systemcall.h ├── SVF │ ├── CUDD │ │ ├── cudd.h │ │ ├── cuddInt.h │ │ ├── dddmp.h │ │ ├── dddmpInt.h │ │ ├── epd.h │ │ ├── mnemosyne.h │ │ ├── mtr.h │ │ ├── mtrInt.h │ │ ├── st.h │ │ └── util.h │ ├── MSSA │ │ ├── MSSAMuChi.h │ │ ├── MemPartition.h │ │ ├── MemRegion.h │ │ ├── MemSSA.h │ │ ├── SVFG.h │ │ ├── SVFGBuilder.h │ │ ├── SVFGEdge.h │ │ ├── SVFGNode.h │ │ ├── SVFGOPT.h │ │ └── SVFGStat.h │ ├── MemoryModel │ │ ├── ConditionalPT.h │ │ ├── ConsG.h │ │ ├── ConsGEdge.h │ │ ├── ConsGNode.h │ │ ├── GenericGraph.h │ │ ├── LocMemModel.h │ │ ├── LocationSet.h │ │ ├── MemModel.h │ │ ├── PAG.h │ │ ├── PAGBuilder.h │ │ ├── PAGEdge.h │ │ ├── PAGNode.h │ │ ├── PointerAnalysis.h │ │ ├── PointsToDFDS.h │ │ ├── PointsToDS.h │ │ └── SPAG.h │ ├── SABER │ │ ├── CFLSolver.h │ │ ├── DoubleFreeChecker.h │ │ ├── FileChecker.h │ │ ├── LeakChecker.h │ │ ├── ProgSlice.h │ │ ├── SaberAnnotator.h │ │ ├── SaberCheckerAPI.h │ │ ├── SaberSVFGBuilder.h │ │ ├── SrcSnkDDA.h │ │ ├── StackSrcSnkDDA.h.old │ │ └── UseAfterReturnChecker.h.old │ ├── Util │ │ ├── AnalysisUtil.h │ │ ├── Annotator.h │ │ ├── BasicTypes.h │ │ ├── BreakConstantExpr.h │ │ ├── Conditions.h │ │ ├── DPItem.h │ │ ├── DataFlowUtil.h │ │ ├── ExtAPI.h │ │ ├── GraphUtil.h │ │ ├── PTACallGraph.h │ │ ├── PTAStat.h │ │ ├── PathCondAllocator.h │ │ ├── RaceAnnotator.h │ │ ├── SCC.h │ │ ├── ThreadAPI.h │ │ ├── ThreadCallGraph.h │ │ └── WorkList.h │ └── WPA │ │ ├── Andersen.h │ │ ├── FlowSensitive.h │ │ ├── WPAFSSolver.h │ │ ├── WPAPass.h │ │ ├── WPASolver.h │ │ └── WPAStat.h └── Util │ ├── AnalysisContext.h │ ├── BasicTypes.h │ ├── Bug.h │ ├── CallGraphAnalysis.h │ ├── CxtStmt.h │ ├── DebugUtil.h │ ├── DirRetAnalysis.h │ ├── InstrumentationUtil.h │ ├── KCFSolver.h │ ├── KDPItem.h │ ├── KMinerStat.h │ ├── KernelAnalysisUtil.h │ ├── LocalPtrAssignmentAnalysis.h │ ├── LockFinder.h │ ├── PAGAnalysis.h │ ├── PtrCallSetAnalysis.h │ ├── PtrToFuncAnalysis.h │ ├── ReportPass.h │ ├── SVFGAnalysisUtil.h │ ├── SyscallAPI.h │ └── SystemInfoUtil.h ├── lib ├── CMakeLists.txt ├── Checker │ ├── DoubleFreeChecker.cpp │ ├── DoubleLockChecker.cpp │ ├── KernelChecker.cpp │ ├── KernelCheckerAPI.cpp │ ├── MemLeakChecker.cpp │ ├── SrcSnkAnalysis.cpp │ ├── UseAfterFreeChecker.cpp │ ├── UseAfterReturnChecker.cpp │ └── UseAfterReturnCheckerLite.cpp ├── KernelModels │ ├── ContextBuilder.cpp │ ├── DriverBuilder.cpp │ ├── Initcall.cpp │ ├── InitcallBuilder.cpp │ ├── InitcallFactory.cpp │ ├── KernelContext.cpp │ ├── KernelContextFactory.cpp │ ├── KernelExtPass.cpp │ ├── KernelPartitioner.cpp │ ├── KernelSVFGBuilder.cpp │ └── SyscallBuilder.cpp ├── SVF │ ├── CMakeLists.txt │ ├── CUDD │ │ ├── CMakeLists.txt │ │ ├── Makefile │ │ ├── cpu_stats.c │ │ ├── cpu_time.c │ │ ├── cuddAPI.c │ │ ├── cuddAddAbs.c │ │ ├── cuddAddApply.c │ │ ├── cuddAddFind.c │ │ ├── cuddAddInv.c │ │ ├── cuddAddIte.c │ │ ├── cuddAddNeg.c │ │ ├── cuddAddWalsh.c │ │ ├── cuddAndAbs.c │ │ ├── cuddAnneal.c │ │ ├── cuddApa.c │ │ ├── cuddApprox.c │ │ ├── cuddBddAbs.c │ │ ├── cuddBddCorr.c │ │ ├── cuddBddIte.c │ │ ├── cuddBridge.c │ │ ├── cuddCache.c │ │ ├── cuddCheck.c │ │ ├── cuddClip.c │ │ ├── cuddCof.c │ │ ├── cuddCompose.c │ │ ├── cuddDecomp.c │ │ ├── cuddEssent.c │ │ ├── cuddExact.c │ │ ├── cuddExport.c │ │ ├── cuddGenCof.c │ │ ├── cuddGenetic.c │ │ ├── cuddGroup.c │ │ ├── cuddHarwell.c │ │ ├── cuddInit.c │ │ ├── cuddInteract.c │ │ ├── cuddLCache.c │ │ ├── cuddLevelQ.c │ │ ├── cuddLinear.c │ │ ├── cuddLiteral.c │ │ ├── cuddMatMult.c │ │ ├── cuddPriority.c │ │ ├── cuddRead.c │ │ ├── cuddRef.c │ │ ├── cuddReorder.c │ │ ├── cuddSat.c │ │ ├── cuddSign.c │ │ ├── cuddSolve.c │ │ ├── cuddSplit.c │ │ ├── cuddSubsetHB.c │ │ ├── cuddSubsetSP.c │ │ ├── cuddSymmetry.c │ │ ├── cuddTable.c │ │ ├── cuddUtil.c │ │ ├── cuddWindow.c │ │ ├── cuddZddCount.c │ │ ├── cuddZddFuncs.c │ │ ├── cuddZddGroup.c │ │ ├── cuddZddIsop.c │ │ ├── cuddZddLin.c │ │ ├── cuddZddMisc.c │ │ ├── cuddZddPort.c │ │ ├── cuddZddReord.c │ │ ├── cuddZddSetop.c │ │ ├── cuddZddSymm.c │ │ ├── cuddZddUtil.c │ │ ├── datalimit.c │ │ ├── dddmpBinary.c │ │ ├── dddmpConvert.c │ │ ├── dddmpDbg.c │ │ ├── dddmpDdNodeBdd.c │ │ ├── dddmpLoad.c │ │ ├── dddmpLoadCnf.c │ │ ├── dddmpNodeAdd.c │ │ ├── dddmpNodeBdd.c │ │ ├── dddmpNodeCnf.c │ │ ├── dddmpStoreAdd.c │ │ ├── dddmpStoreBdd.c │ │ ├── dddmpStoreCnf.c │ │ ├── dddmpStoreMisc.c │ │ ├── dddmpUtil.c │ │ ├── epd.c │ │ ├── mtrBasic.c │ │ ├── mtrGroup.c │ │ ├── pathsearch.c │ │ ├── pipefork.c │ │ ├── prtime.c │ │ ├── ptime.c │ │ ├── restart.c │ │ ├── safe_mem.c │ │ ├── saveimage.c │ │ ├── st.c │ │ ├── state.c │ │ ├── strsav.c │ │ ├── stub.c │ │ └── texpand.c │ ├── MSSA │ │ ├── Makefile │ │ ├── MemPartition.cpp │ │ ├── MemRegion.cpp │ │ ├── MemSSA.cpp │ │ ├── SVFG.cpp │ │ ├── SVFGBuilder.cpp │ │ ├── SVFGOPT.cpp │ │ └── SVFGStat.cpp │ ├── Makefile │ ├── MemoryModel │ │ ├── ConsG.cpp │ │ ├── LocMemModel.cpp │ │ ├── LocationSet.cpp │ │ ├── Makefile │ │ ├── MemModel.cpp │ │ ├── PAG.cpp │ │ ├── PAGBuilder.cpp │ │ └── PointerAnalysis.cpp │ ├── SABER │ │ ├── DoubleFreeChecker.cpp │ │ ├── FileChecker.cpp │ │ ├── LeakChecker.cpp │ │ ├── Makefile │ │ ├── ProgSlice.cpp │ │ ├── SaberAnnotator.cpp │ │ ├── SaberCheckerAPI.cpp │ │ ├── SaberSVFGBuilder.cpp │ │ ├── SrcSnkDDA.cpp │ │ ├── StackSrcSnkDDA.cpp.old │ │ └── UseAfterReturnChecker.cpp.old │ ├── Util │ │ ├── AnalysisUtil.cpp │ │ ├── BreakConstantExpr.cpp │ │ ├── Conditions.cpp │ │ ├── DataFlowUtil.cpp │ │ ├── ExtAPI.cpp │ │ ├── Makefile │ │ ├── PTACallGraph.cpp │ │ ├── PTAStat.cpp │ │ ├── PathCondAllocator.cpp │ │ ├── RaceAnnotator.cpp │ │ ├── ThreadAPI.cpp │ │ └── ThreadCallGraph.cpp │ └── WPA │ │ ├── Andersen.cpp │ │ ├── AndersenLCD.cpp │ │ ├── AndersenStat.cpp │ │ ├── AndersenWave.cpp │ │ ├── AndersenWaveDiff.cpp │ │ ├── FlowSensitive.cpp │ │ ├── FlowSensitiveStat.cpp │ │ ├── Makefile │ │ └── WPAPass.cpp └── Util │ ├── AnalysisContext.cpp │ ├── Bug.cpp │ ├── CallGraphAnalysis.cpp │ ├── DebugUtil.cpp │ ├── DirRetAnalysis.cpp │ ├── InstrumentationUtil.cpp │ ├── KMinerStat.cpp │ ├── KernelAnalysisUtil.cpp │ ├── LocalPtrAssignmentAnalysis.cpp │ ├── PAGAnalysis.cpp │ ├── PtrCallSetAnalysis.cpp │ ├── PtrToFuncAnalysis.cpp │ ├── ReportPass.cpp │ ├── SVFGAnalysisUtil.cpp │ └── SyscallAPI.cpp ├── tests ├── demo │ ├── DFree │ │ ├── 1 │ │ ├── blist.txt │ │ ├── err.log │ │ ├── initcall_contexts.txt │ │ ├── log │ │ ├── log2 │ │ ├── report.txt │ │ ├── report_new.txt │ │ ├── run.sh │ │ ├── sinks.txt │ │ └── vmlinux_v3.19_min.bc │ ├── DLOCK │ │ ├── blist.txt │ │ ├── err.log │ │ ├── initcall_contexts.txt │ │ ├── report.txt │ │ ├── run.sh │ │ └── vmlinux_v3.19_min.bc │ └── UAR │ │ ├── blist.txt │ │ ├── err.log │ │ ├── initcall_contexts.txt │ │ ├── report.txt │ │ ├── run.sh │ │ ├── sinks.txt │ │ └── vmlinux_v3.19_min.bc ├── double_free │ ├── Makefile │ ├── initcall_contexts.txt │ ├── report.txt │ ├── run_test.sh │ ├── test1.c │ ├── test10.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ ├── test6.c │ ├── test7.c │ ├── test8.c │ └── test9.c ├── double_lock │ ├── Makefile │ ├── initcall_contexts.txt │ ├── main.c │ ├── pre-analysis-results-ioctl.txt │ ├── report.txt │ ├── run_test.sh │ ├── test1.c │ ├── test10.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ ├── test6.c │ ├── test7.c │ ├── test8.c │ └── test9.c ├── mem_leak │ ├── Makefile │ ├── initcall_contexts.txt │ ├── report.txt │ ├── run_test.sh │ └── test1.c ├── run_tests.sh ├── use_after_free │ ├── Makefile │ ├── initcall_contexts.txt │ ├── report.txt │ ├── run_test.sh │ ├── test1.c │ ├── test10.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ ├── test6.c │ ├── test7.c │ ├── test8.c │ └── test9.c └── use_after_return │ ├── Makefile │ ├── initcall_contexts.txt │ ├── main.c │ ├── report.txt │ ├── run_test.sh │ ├── test1.c │ ├── test10.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ ├── test6.c │ ├── test7.c │ ├── test8.c │ ├── test9.c │ └── use_after_return2 │ ├── Makefile │ ├── list.c │ ├── list.h │ └── main.c ├── tools ├── CMakeLists.txt └── kminer.cpp └── web_frontend ├── KernelReportParser.py ├── KernelReport_v3.19.json ├── KernelReport_v4.10.json ├── KernelReport_v4.12.json ├── KernelReport_v4.2.json ├── KernelReport_v4.6.json ├── MemoryLeak.json ├── README ├── Report.py ├── SyscallReport.py ├── __init__.py ├── comment_db.json ├── kernel_mem_usage_graph.png ├── kernel_schedule_graph.png ├── mem_usage.txt ├── proc_syscalls.txt ├── static ├── css │ ├── bootstrap-theme.css │ ├── bootstrap-theme.css.map │ ├── bootstrap-theme.min.css │ ├── bootstrap-theme.min.css.map │ ├── bootstrap.css │ ├── bootstrap.css.map │ ├── bootstrap.min.css │ ├── bootstrap.min.css.map │ └── local-theme.css ├── fonts │ ├── glyphicons-halflings-regular.eot │ ├── glyphicons-halflings-regular.svg │ ├── glyphicons-halflings-regular.ttf │ ├── glyphicons-halflings-regular.woff │ └── glyphicons-halflings-regular.woff2 └── js │ ├── bootstrap.js │ ├── bootstrap.min.js │ ├── jquery-3.0.0.min.js │ └── npm.js └── templates ├── driver_report.html ├── err.html ├── header.html ├── index.html ├── kernel_schedule.html ├── mem_crpt_overview.html ├── overview.html ├── search_results.html └── syscall_report.html /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/README.md -------------------------------------------------------------------------------- /clang-kernel-build/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/LICENSE -------------------------------------------------------------------------------- /clang-kernel-build/Makefile.build.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/Makefile.build.patch -------------------------------------------------------------------------------- /clang-kernel-build/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/README.md -------------------------------------------------------------------------------- /clang-kernel-build/boot-workaround-PR18415.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/boot-workaround-PR18415.patch -------------------------------------------------------------------------------- /clang-kernel-build/clang-flags.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/clang-flags.patch -------------------------------------------------------------------------------- /clang-kernel-build/clang-uaccess.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/clang-uaccess.patch -------------------------------------------------------------------------------- /clang-kernel-build/clang_update_to_revision.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/clang_update_to_revision.sh -------------------------------------------------------------------------------- /clang-kernel-build/clang_wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/clang_wrapper.py -------------------------------------------------------------------------------- /clang-kernel-build/gdb.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/gdb.script -------------------------------------------------------------------------------- /clang-kernel-build/llist.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/llist.patch -------------------------------------------------------------------------------- /clang-kernel-build/run_qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/clang-kernel-build/run_qemu.sh -------------------------------------------------------------------------------- /include/Checker/DoubleFreeChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/DoubleFreeChecker.h -------------------------------------------------------------------------------- /include/Checker/DoubleLockChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/DoubleLockChecker.h -------------------------------------------------------------------------------- /include/Checker/KernelChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/KernelChecker.h -------------------------------------------------------------------------------- /include/Checker/KernelCheckerAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/KernelCheckerAPI.h -------------------------------------------------------------------------------- /include/Checker/MemLeakChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/MemLeakChecker.h -------------------------------------------------------------------------------- /include/Checker/SrcSnkAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/SrcSnkAnalysis.h -------------------------------------------------------------------------------- /include/Checker/UseAfterFreeChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/UseAfterFreeChecker.h -------------------------------------------------------------------------------- /include/Checker/UseAfterReturnChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/UseAfterReturnChecker.h -------------------------------------------------------------------------------- /include/Checker/UseAfterReturnCheckerLite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Checker/UseAfterReturnCheckerLite.h -------------------------------------------------------------------------------- /include/KernelModels/ContextBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/ContextBuilder.h -------------------------------------------------------------------------------- /include/KernelModels/Driver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/Driver.h -------------------------------------------------------------------------------- /include/KernelModels/DriverBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/DriverBuilder.h -------------------------------------------------------------------------------- /include/KernelModels/Initcall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/Initcall.h -------------------------------------------------------------------------------- /include/KernelModels/InitcallBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/InitcallBuilder.h -------------------------------------------------------------------------------- /include/KernelModels/InitcallFactory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/InitcallFactory.h -------------------------------------------------------------------------------- /include/KernelModels/KernelContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/KernelContext.h -------------------------------------------------------------------------------- /include/KernelModels/KernelContextFactory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/KernelContextFactory.h -------------------------------------------------------------------------------- /include/KernelModels/KernelContextObj.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/KernelContextObj.h -------------------------------------------------------------------------------- /include/KernelModels/KernelExtPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/KernelExtPass.h -------------------------------------------------------------------------------- /include/KernelModels/KernelPartitioner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/KernelPartitioner.h -------------------------------------------------------------------------------- /include/KernelModels/KernelSVFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/KernelSVFGBuilder.h -------------------------------------------------------------------------------- /include/KernelModels/SyscallBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/SyscallBuilder.h -------------------------------------------------------------------------------- /include/KernelModels/Systemcall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/KernelModels/Systemcall.h -------------------------------------------------------------------------------- /include/SVF/CUDD/cudd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/cudd.h -------------------------------------------------------------------------------- /include/SVF/CUDD/cuddInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/cuddInt.h -------------------------------------------------------------------------------- /include/SVF/CUDD/dddmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/dddmp.h -------------------------------------------------------------------------------- /include/SVF/CUDD/dddmpInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/dddmpInt.h -------------------------------------------------------------------------------- /include/SVF/CUDD/epd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/epd.h -------------------------------------------------------------------------------- /include/SVF/CUDD/mnemosyne.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/mnemosyne.h -------------------------------------------------------------------------------- /include/SVF/CUDD/mtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/mtr.h -------------------------------------------------------------------------------- /include/SVF/CUDD/mtrInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/mtrInt.h -------------------------------------------------------------------------------- /include/SVF/CUDD/st.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/st.h -------------------------------------------------------------------------------- /include/SVF/CUDD/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/CUDD/util.h -------------------------------------------------------------------------------- /include/SVF/MSSA/MSSAMuChi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/MSSAMuChi.h -------------------------------------------------------------------------------- /include/SVF/MSSA/MemPartition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/MemPartition.h -------------------------------------------------------------------------------- /include/SVF/MSSA/MemRegion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/MemRegion.h -------------------------------------------------------------------------------- /include/SVF/MSSA/MemSSA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/MemSSA.h -------------------------------------------------------------------------------- /include/SVF/MSSA/SVFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/SVFG.h -------------------------------------------------------------------------------- /include/SVF/MSSA/SVFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/SVFGBuilder.h -------------------------------------------------------------------------------- /include/SVF/MSSA/SVFGEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/SVFGEdge.h -------------------------------------------------------------------------------- /include/SVF/MSSA/SVFGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/SVFGNode.h -------------------------------------------------------------------------------- /include/SVF/MSSA/SVFGOPT.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/SVFGOPT.h -------------------------------------------------------------------------------- /include/SVF/MSSA/SVFGStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MSSA/SVFGStat.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/ConditionalPT.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/ConditionalPT.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/ConsG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/ConsG.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/ConsGEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/ConsGEdge.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/ConsGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/ConsGNode.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/GenericGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/GenericGraph.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/LocMemModel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/LocMemModel.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/LocationSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/LocationSet.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/MemModel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/MemModel.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/PAG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/PAG.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/PAGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/PAGBuilder.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/PAGEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/PAGEdge.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/PAGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/PAGNode.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/PointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/PointerAnalysis.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/PointsToDFDS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/PointsToDFDS.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/PointsToDS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/PointsToDS.h -------------------------------------------------------------------------------- /include/SVF/MemoryModel/SPAG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/MemoryModel/SPAG.h -------------------------------------------------------------------------------- /include/SVF/SABER/CFLSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/CFLSolver.h -------------------------------------------------------------------------------- /include/SVF/SABER/DoubleFreeChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/DoubleFreeChecker.h -------------------------------------------------------------------------------- /include/SVF/SABER/FileChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/FileChecker.h -------------------------------------------------------------------------------- /include/SVF/SABER/LeakChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/LeakChecker.h -------------------------------------------------------------------------------- /include/SVF/SABER/ProgSlice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/ProgSlice.h -------------------------------------------------------------------------------- /include/SVF/SABER/SaberAnnotator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/SaberAnnotator.h -------------------------------------------------------------------------------- /include/SVF/SABER/SaberCheckerAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/SaberCheckerAPI.h -------------------------------------------------------------------------------- /include/SVF/SABER/SaberSVFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/SaberSVFGBuilder.h -------------------------------------------------------------------------------- /include/SVF/SABER/SrcSnkDDA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/SrcSnkDDA.h -------------------------------------------------------------------------------- /include/SVF/SABER/StackSrcSnkDDA.h.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/StackSrcSnkDDA.h.old -------------------------------------------------------------------------------- /include/SVF/SABER/UseAfterReturnChecker.h.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/SABER/UseAfterReturnChecker.h.old -------------------------------------------------------------------------------- /include/SVF/Util/AnalysisUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/AnalysisUtil.h -------------------------------------------------------------------------------- /include/SVF/Util/Annotator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/Annotator.h -------------------------------------------------------------------------------- /include/SVF/Util/BasicTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/BasicTypes.h -------------------------------------------------------------------------------- /include/SVF/Util/BreakConstantExpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/BreakConstantExpr.h -------------------------------------------------------------------------------- /include/SVF/Util/Conditions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/Conditions.h -------------------------------------------------------------------------------- /include/SVF/Util/DPItem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/DPItem.h -------------------------------------------------------------------------------- /include/SVF/Util/DataFlowUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/DataFlowUtil.h -------------------------------------------------------------------------------- /include/SVF/Util/ExtAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/ExtAPI.h -------------------------------------------------------------------------------- /include/SVF/Util/GraphUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/GraphUtil.h -------------------------------------------------------------------------------- /include/SVF/Util/PTACallGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/PTACallGraph.h -------------------------------------------------------------------------------- /include/SVF/Util/PTAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/PTAStat.h -------------------------------------------------------------------------------- /include/SVF/Util/PathCondAllocator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/PathCondAllocator.h -------------------------------------------------------------------------------- /include/SVF/Util/RaceAnnotator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/RaceAnnotator.h -------------------------------------------------------------------------------- /include/SVF/Util/SCC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/SCC.h -------------------------------------------------------------------------------- /include/SVF/Util/ThreadAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/ThreadAPI.h -------------------------------------------------------------------------------- /include/SVF/Util/ThreadCallGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/ThreadCallGraph.h -------------------------------------------------------------------------------- /include/SVF/Util/WorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/Util/WorkList.h -------------------------------------------------------------------------------- /include/SVF/WPA/Andersen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/WPA/Andersen.h -------------------------------------------------------------------------------- /include/SVF/WPA/FlowSensitive.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/WPA/FlowSensitive.h -------------------------------------------------------------------------------- /include/SVF/WPA/WPAFSSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/WPA/WPAFSSolver.h -------------------------------------------------------------------------------- /include/SVF/WPA/WPAPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/WPA/WPAPass.h -------------------------------------------------------------------------------- /include/SVF/WPA/WPASolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/WPA/WPASolver.h -------------------------------------------------------------------------------- /include/SVF/WPA/WPAStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/SVF/WPA/WPAStat.h -------------------------------------------------------------------------------- /include/Util/AnalysisContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/AnalysisContext.h -------------------------------------------------------------------------------- /include/Util/BasicTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/BasicTypes.h -------------------------------------------------------------------------------- /include/Util/Bug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/Bug.h -------------------------------------------------------------------------------- /include/Util/CallGraphAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/CallGraphAnalysis.h -------------------------------------------------------------------------------- /include/Util/CxtStmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/CxtStmt.h -------------------------------------------------------------------------------- /include/Util/DebugUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/DebugUtil.h -------------------------------------------------------------------------------- /include/Util/DirRetAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/DirRetAnalysis.h -------------------------------------------------------------------------------- /include/Util/InstrumentationUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/InstrumentationUtil.h -------------------------------------------------------------------------------- /include/Util/KCFSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/KCFSolver.h -------------------------------------------------------------------------------- /include/Util/KDPItem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/KDPItem.h -------------------------------------------------------------------------------- /include/Util/KMinerStat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/KMinerStat.h -------------------------------------------------------------------------------- /include/Util/KernelAnalysisUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/KernelAnalysisUtil.h -------------------------------------------------------------------------------- /include/Util/LocalPtrAssignmentAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/LocalPtrAssignmentAnalysis.h -------------------------------------------------------------------------------- /include/Util/LockFinder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/LockFinder.h -------------------------------------------------------------------------------- /include/Util/PAGAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/PAGAnalysis.h -------------------------------------------------------------------------------- /include/Util/PtrCallSetAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/PtrCallSetAnalysis.h -------------------------------------------------------------------------------- /include/Util/PtrToFuncAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/PtrToFuncAnalysis.h -------------------------------------------------------------------------------- /include/Util/ReportPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/ReportPass.h -------------------------------------------------------------------------------- /include/Util/SVFGAnalysisUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/SVFGAnalysisUtil.h -------------------------------------------------------------------------------- /include/Util/SyscallAPI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/SyscallAPI.h -------------------------------------------------------------------------------- /include/Util/SystemInfoUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/include/Util/SystemInfoUtil.h -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Checker/DoubleFreeChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/DoubleFreeChecker.cpp -------------------------------------------------------------------------------- /lib/Checker/DoubleLockChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/DoubleLockChecker.cpp -------------------------------------------------------------------------------- /lib/Checker/KernelChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/KernelChecker.cpp -------------------------------------------------------------------------------- /lib/Checker/KernelCheckerAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/KernelCheckerAPI.cpp -------------------------------------------------------------------------------- /lib/Checker/MemLeakChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/MemLeakChecker.cpp -------------------------------------------------------------------------------- /lib/Checker/SrcSnkAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/SrcSnkAnalysis.cpp -------------------------------------------------------------------------------- /lib/Checker/UseAfterFreeChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/UseAfterFreeChecker.cpp -------------------------------------------------------------------------------- /lib/Checker/UseAfterReturnChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/UseAfterReturnChecker.cpp -------------------------------------------------------------------------------- /lib/Checker/UseAfterReturnCheckerLite.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Checker/UseAfterReturnCheckerLite.cpp -------------------------------------------------------------------------------- /lib/KernelModels/ContextBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/ContextBuilder.cpp -------------------------------------------------------------------------------- /lib/KernelModels/DriverBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/DriverBuilder.cpp -------------------------------------------------------------------------------- /lib/KernelModels/Initcall.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/Initcall.cpp -------------------------------------------------------------------------------- /lib/KernelModels/InitcallBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/InitcallBuilder.cpp -------------------------------------------------------------------------------- /lib/KernelModels/InitcallFactory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/InitcallFactory.cpp -------------------------------------------------------------------------------- /lib/KernelModels/KernelContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/KernelContext.cpp -------------------------------------------------------------------------------- /lib/KernelModels/KernelContextFactory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/KernelContextFactory.cpp -------------------------------------------------------------------------------- /lib/KernelModels/KernelExtPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/KernelExtPass.cpp -------------------------------------------------------------------------------- /lib/KernelModels/KernelPartitioner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/KernelPartitioner.cpp -------------------------------------------------------------------------------- /lib/KernelModels/KernelSVFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/KernelSVFGBuilder.cpp -------------------------------------------------------------------------------- /lib/KernelModels/SyscallBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/KernelModels/SyscallBuilder.cpp -------------------------------------------------------------------------------- /lib/SVF/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CMakeLists.txt -------------------------------------------------------------------------------- /lib/SVF/CUDD/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/CMakeLists.txt -------------------------------------------------------------------------------- /lib/SVF/CUDD/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/Makefile -------------------------------------------------------------------------------- /lib/SVF/CUDD/cpu_stats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cpu_stats.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cpu_time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cpu_time.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAPI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAPI.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAddAbs.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAddApply.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAddApply.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAddFind.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAddFind.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAddInv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAddInv.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAddIte.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAddNeg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAddNeg.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAddWalsh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAddWalsh.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAndAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAndAbs.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddAnneal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddAnneal.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddApa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddApa.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddApprox.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddApprox.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddBddAbs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddBddAbs.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddBddCorr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddBddCorr.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddBddIte.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddBddIte.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddBridge.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddBridge.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddCache.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddCheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddCheck.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddClip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddClip.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddCof.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddCompose.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddCompose.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddDecomp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddDecomp.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddEssent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddEssent.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddExact.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddExact.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddExport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddExport.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddGenCof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddGenCof.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddGenetic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddGenetic.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddGroup.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddHarwell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddHarwell.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddInit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddInit.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddInteract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddInteract.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddLCache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddLCache.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddLevelQ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddLevelQ.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddLinear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddLinear.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddLiteral.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddLiteral.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddMatMult.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddMatMult.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddPriority.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddPriority.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddRead.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddRead.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddRef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddRef.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddReorder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddReorder.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddSat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddSat.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddSign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddSign.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddSolve.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddSolve.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddSplit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddSplit.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddSubsetHB.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddSubsetHB.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddSubsetSP.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddSubsetSP.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddSymmetry.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddSymmetry.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddTable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddTable.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddUtil.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddWindow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddWindow.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddCount.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddCount.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddFuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddFuncs.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddGroup.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddIsop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddIsop.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddLin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddLin.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddMisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddMisc.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddPort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddPort.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddReord.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddReord.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddSetop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddSetop.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddSymm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddSymm.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/cuddZddUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/cuddZddUtil.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/datalimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/datalimit.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpBinary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpBinary.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpConvert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpConvert.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpDbg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpDbg.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpDdNodeBdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpDdNodeBdd.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpLoad.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpLoad.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpLoadCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpLoadCnf.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpNodeAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpNodeAdd.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpNodeBdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpNodeBdd.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpNodeCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpNodeCnf.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpStoreAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpStoreAdd.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpStoreBdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpStoreBdd.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpStoreCnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpStoreCnf.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpStoreMisc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpStoreMisc.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/dddmpUtil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/dddmpUtil.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/epd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/epd.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/mtrBasic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/mtrBasic.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/mtrGroup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/mtrGroup.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/pathsearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/pathsearch.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/pipefork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/pipefork.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/prtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/prtime.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/ptime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/ptime.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/restart.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/restart.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/safe_mem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/safe_mem.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/saveimage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/saveimage.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/st.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/st.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/state.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/strsav.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/strsav.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/stub.c -------------------------------------------------------------------------------- /lib/SVF/CUDD/texpand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/CUDD/texpand.c -------------------------------------------------------------------------------- /lib/SVF/MSSA/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/Makefile -------------------------------------------------------------------------------- /lib/SVF/MSSA/MemPartition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/MemPartition.cpp -------------------------------------------------------------------------------- /lib/SVF/MSSA/MemRegion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/MemRegion.cpp -------------------------------------------------------------------------------- /lib/SVF/MSSA/MemSSA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/MemSSA.cpp -------------------------------------------------------------------------------- /lib/SVF/MSSA/SVFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/SVFG.cpp -------------------------------------------------------------------------------- /lib/SVF/MSSA/SVFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/SVFGBuilder.cpp -------------------------------------------------------------------------------- /lib/SVF/MSSA/SVFGOPT.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/SVFGOPT.cpp -------------------------------------------------------------------------------- /lib/SVF/MSSA/SVFGStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MSSA/SVFGStat.cpp -------------------------------------------------------------------------------- /lib/SVF/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Makefile -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/ConsG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/ConsG.cpp -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/LocMemModel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/LocMemModel.cpp -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/LocationSet.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/LocationSet.cpp -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/Makefile -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/MemModel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/MemModel.cpp -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/PAG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/PAG.cpp -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/PAGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/PAGBuilder.cpp -------------------------------------------------------------------------------- /lib/SVF/MemoryModel/PointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/MemoryModel/PointerAnalysis.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/DoubleFreeChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/DoubleFreeChecker.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/FileChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/FileChecker.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/LeakChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/LeakChecker.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/Makefile -------------------------------------------------------------------------------- /lib/SVF/SABER/ProgSlice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/ProgSlice.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/SaberAnnotator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/SaberAnnotator.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/SaberCheckerAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/SaberCheckerAPI.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/SaberSVFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/SaberSVFGBuilder.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/SrcSnkDDA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/SrcSnkDDA.cpp -------------------------------------------------------------------------------- /lib/SVF/SABER/StackSrcSnkDDA.cpp.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/StackSrcSnkDDA.cpp.old -------------------------------------------------------------------------------- /lib/SVF/SABER/UseAfterReturnChecker.cpp.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/SABER/UseAfterReturnChecker.cpp.old -------------------------------------------------------------------------------- /lib/SVF/Util/AnalysisUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/AnalysisUtil.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/BreakConstantExpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/BreakConstantExpr.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/Conditions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/Conditions.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/DataFlowUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/DataFlowUtil.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/ExtAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/ExtAPI.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/Makefile -------------------------------------------------------------------------------- /lib/SVF/Util/PTACallGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/PTACallGraph.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/PTAStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/PTAStat.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/PathCondAllocator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/PathCondAllocator.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/RaceAnnotator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/RaceAnnotator.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/ThreadAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/ThreadAPI.cpp -------------------------------------------------------------------------------- /lib/SVF/Util/ThreadCallGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/Util/ThreadCallGraph.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/Andersen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/Andersen.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/AndersenLCD.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/AndersenLCD.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/AndersenStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/AndersenStat.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/AndersenWave.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/AndersenWave.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/AndersenWaveDiff.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/AndersenWaveDiff.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/FlowSensitive.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/FlowSensitive.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/FlowSensitiveStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/FlowSensitiveStat.cpp -------------------------------------------------------------------------------- /lib/SVF/WPA/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/Makefile -------------------------------------------------------------------------------- /lib/SVF/WPA/WPAPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/SVF/WPA/WPAPass.cpp -------------------------------------------------------------------------------- /lib/Util/AnalysisContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/AnalysisContext.cpp -------------------------------------------------------------------------------- /lib/Util/Bug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/Bug.cpp -------------------------------------------------------------------------------- /lib/Util/CallGraphAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/CallGraphAnalysis.cpp -------------------------------------------------------------------------------- /lib/Util/DebugUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/DebugUtil.cpp -------------------------------------------------------------------------------- /lib/Util/DirRetAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/DirRetAnalysis.cpp -------------------------------------------------------------------------------- /lib/Util/InstrumentationUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/InstrumentationUtil.cpp -------------------------------------------------------------------------------- /lib/Util/KMinerStat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/KMinerStat.cpp -------------------------------------------------------------------------------- /lib/Util/KernelAnalysisUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/KernelAnalysisUtil.cpp -------------------------------------------------------------------------------- /lib/Util/LocalPtrAssignmentAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/LocalPtrAssignmentAnalysis.cpp -------------------------------------------------------------------------------- /lib/Util/PAGAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/PAGAnalysis.cpp -------------------------------------------------------------------------------- /lib/Util/PtrCallSetAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/PtrCallSetAnalysis.cpp -------------------------------------------------------------------------------- /lib/Util/PtrToFuncAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/PtrToFuncAnalysis.cpp -------------------------------------------------------------------------------- /lib/Util/ReportPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/ReportPass.cpp -------------------------------------------------------------------------------- /lib/Util/SVFGAnalysisUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/SVFGAnalysisUtil.cpp -------------------------------------------------------------------------------- /lib/Util/SyscallAPI.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/lib/Util/SyscallAPI.cpp -------------------------------------------------------------------------------- /tests/demo/DFree/1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/1 -------------------------------------------------------------------------------- /tests/demo/DFree/blist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/blist.txt -------------------------------------------------------------------------------- /tests/demo/DFree/err.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/err.log -------------------------------------------------------------------------------- /tests/demo/DFree/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/demo/DFree/log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/log -------------------------------------------------------------------------------- /tests/demo/DFree/log2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/log2 -------------------------------------------------------------------------------- /tests/demo/DFree/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/report.txt -------------------------------------------------------------------------------- /tests/demo/DFree/report_new.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/report_new.txt -------------------------------------------------------------------------------- /tests/demo/DFree/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/run.sh -------------------------------------------------------------------------------- /tests/demo/DFree/sinks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/sinks.txt -------------------------------------------------------------------------------- /tests/demo/DFree/vmlinux_v3.19_min.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DFree/vmlinux_v3.19_min.bc -------------------------------------------------------------------------------- /tests/demo/DLOCK/blist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DLOCK/blist.txt -------------------------------------------------------------------------------- /tests/demo/DLOCK/err.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DLOCK/err.log -------------------------------------------------------------------------------- /tests/demo/DLOCK/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DLOCK/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/demo/DLOCK/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DLOCK/report.txt -------------------------------------------------------------------------------- /tests/demo/DLOCK/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DLOCK/run.sh -------------------------------------------------------------------------------- /tests/demo/DLOCK/vmlinux_v3.19_min.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/DLOCK/vmlinux_v3.19_min.bc -------------------------------------------------------------------------------- /tests/demo/UAR/blist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/UAR/blist.txt -------------------------------------------------------------------------------- /tests/demo/UAR/err.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/UAR/err.log -------------------------------------------------------------------------------- /tests/demo/UAR/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/UAR/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/demo/UAR/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/UAR/report.txt -------------------------------------------------------------------------------- /tests/demo/UAR/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/UAR/run.sh -------------------------------------------------------------------------------- /tests/demo/UAR/sinks.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/UAR/sinks.txt -------------------------------------------------------------------------------- /tests/demo/UAR/vmlinux_v3.19_min.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/demo/UAR/vmlinux_v3.19_min.bc -------------------------------------------------------------------------------- /tests/double_free/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/Makefile -------------------------------------------------------------------------------- /tests/double_free/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/double_free/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/report.txt -------------------------------------------------------------------------------- /tests/double_free/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/run_test.sh -------------------------------------------------------------------------------- /tests/double_free/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test1.c -------------------------------------------------------------------------------- /tests/double_free/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test10.c -------------------------------------------------------------------------------- /tests/double_free/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test2.c -------------------------------------------------------------------------------- /tests/double_free/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test3.c -------------------------------------------------------------------------------- /tests/double_free/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test4.c -------------------------------------------------------------------------------- /tests/double_free/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test5.c -------------------------------------------------------------------------------- /tests/double_free/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test6.c -------------------------------------------------------------------------------- /tests/double_free/test7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test7.c -------------------------------------------------------------------------------- /tests/double_free/test8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test8.c -------------------------------------------------------------------------------- /tests/double_free/test9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_free/test9.c -------------------------------------------------------------------------------- /tests/double_lock/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/Makefile -------------------------------------------------------------------------------- /tests/double_lock/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/double_lock/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/main.c -------------------------------------------------------------------------------- /tests/double_lock/pre-analysis-results-ioctl.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/pre-analysis-results-ioctl.txt -------------------------------------------------------------------------------- /tests/double_lock/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/report.txt -------------------------------------------------------------------------------- /tests/double_lock/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/run_test.sh -------------------------------------------------------------------------------- /tests/double_lock/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test1.c -------------------------------------------------------------------------------- /tests/double_lock/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test10.c -------------------------------------------------------------------------------- /tests/double_lock/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test2.c -------------------------------------------------------------------------------- /tests/double_lock/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test3.c -------------------------------------------------------------------------------- /tests/double_lock/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test4.c -------------------------------------------------------------------------------- /tests/double_lock/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test5.c -------------------------------------------------------------------------------- /tests/double_lock/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test6.c -------------------------------------------------------------------------------- /tests/double_lock/test7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test7.c -------------------------------------------------------------------------------- /tests/double_lock/test8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test8.c -------------------------------------------------------------------------------- /tests/double_lock/test9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/double_lock/test9.c -------------------------------------------------------------------------------- /tests/mem_leak/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/mem_leak/Makefile -------------------------------------------------------------------------------- /tests/mem_leak/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/mem_leak/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/mem_leak/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/mem_leak/report.txt -------------------------------------------------------------------------------- /tests/mem_leak/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/mem_leak/run_test.sh -------------------------------------------------------------------------------- /tests/mem_leak/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/mem_leak/test1.c -------------------------------------------------------------------------------- /tests/run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/run_tests.sh -------------------------------------------------------------------------------- /tests/use_after_free/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/Makefile -------------------------------------------------------------------------------- /tests/use_after_free/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/use_after_free/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/report.txt -------------------------------------------------------------------------------- /tests/use_after_free/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/run_test.sh -------------------------------------------------------------------------------- /tests/use_after_free/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test1.c -------------------------------------------------------------------------------- /tests/use_after_free/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test10.c -------------------------------------------------------------------------------- /tests/use_after_free/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test2.c -------------------------------------------------------------------------------- /tests/use_after_free/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test3.c -------------------------------------------------------------------------------- /tests/use_after_free/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test4.c -------------------------------------------------------------------------------- /tests/use_after_free/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test5.c -------------------------------------------------------------------------------- /tests/use_after_free/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test6.c -------------------------------------------------------------------------------- /tests/use_after_free/test7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test7.c -------------------------------------------------------------------------------- /tests/use_after_free/test8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test8.c -------------------------------------------------------------------------------- /tests/use_after_free/test9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_free/test9.c -------------------------------------------------------------------------------- /tests/use_after_return/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/Makefile -------------------------------------------------------------------------------- /tests/use_after_return/initcall_contexts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/initcall_contexts.txt -------------------------------------------------------------------------------- /tests/use_after_return/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/main.c -------------------------------------------------------------------------------- /tests/use_after_return/report.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/report.txt -------------------------------------------------------------------------------- /tests/use_after_return/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/run_test.sh -------------------------------------------------------------------------------- /tests/use_after_return/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test1.c -------------------------------------------------------------------------------- /tests/use_after_return/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test10.c -------------------------------------------------------------------------------- /tests/use_after_return/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test2.c -------------------------------------------------------------------------------- /tests/use_after_return/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test3.c -------------------------------------------------------------------------------- /tests/use_after_return/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test4.c -------------------------------------------------------------------------------- /tests/use_after_return/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test5.c -------------------------------------------------------------------------------- /tests/use_after_return/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test6.c -------------------------------------------------------------------------------- /tests/use_after_return/test7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test7.c -------------------------------------------------------------------------------- /tests/use_after_return/test8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test8.c -------------------------------------------------------------------------------- /tests/use_after_return/test9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/test9.c -------------------------------------------------------------------------------- /tests/use_after_return/use_after_return2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/use_after_return2/Makefile -------------------------------------------------------------------------------- /tests/use_after_return/use_after_return2/list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/use_after_return2/list.c -------------------------------------------------------------------------------- /tests/use_after_return/use_after_return2/list.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/use_after_return2/list.h -------------------------------------------------------------------------------- /tests/use_after_return/use_after_return2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tests/use_after_return/use_after_return2/main.c -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/kminer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/tools/kminer.cpp -------------------------------------------------------------------------------- /web_frontend/KernelReportParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/KernelReportParser.py -------------------------------------------------------------------------------- /web_frontend/KernelReport_v3.19.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/KernelReport_v3.19.json -------------------------------------------------------------------------------- /web_frontend/KernelReport_v4.10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/KernelReport_v4.10.json -------------------------------------------------------------------------------- /web_frontend/KernelReport_v4.12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/KernelReport_v4.12.json -------------------------------------------------------------------------------- /web_frontend/KernelReport_v4.2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/KernelReport_v4.2.json -------------------------------------------------------------------------------- /web_frontend/KernelReport_v4.6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/KernelReport_v4.6.json -------------------------------------------------------------------------------- /web_frontend/MemoryLeak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/MemoryLeak.json -------------------------------------------------------------------------------- /web_frontend/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/README -------------------------------------------------------------------------------- /web_frontend/Report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/Report.py -------------------------------------------------------------------------------- /web_frontend/SyscallReport.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/SyscallReport.py -------------------------------------------------------------------------------- /web_frontend/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/__init__.py -------------------------------------------------------------------------------- /web_frontend/comment_db.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/comment_db.json -------------------------------------------------------------------------------- /web_frontend/kernel_mem_usage_graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/kernel_mem_usage_graph.png -------------------------------------------------------------------------------- /web_frontend/kernel_schedule_graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/kernel_schedule_graph.png -------------------------------------------------------------------------------- /web_frontend/mem_usage.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/mem_usage.txt -------------------------------------------------------------------------------- /web_frontend/proc_syscalls.txt: -------------------------------------------------------------------------------- 1 | 275 2 | -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap-theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap-theme.css -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap-theme.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap-theme.css.map -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap-theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap-theme.min.css -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap-theme.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap-theme.min.css.map -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap.css -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap.css.map -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap.min.css -------------------------------------------------------------------------------- /web_frontend/static/css/bootstrap.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/bootstrap.min.css.map -------------------------------------------------------------------------------- /web_frontend/static/css/local-theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/css/local-theme.css -------------------------------------------------------------------------------- /web_frontend/static/fonts/glyphicons-halflings-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/fonts/glyphicons-halflings-regular.eot -------------------------------------------------------------------------------- /web_frontend/static/fonts/glyphicons-halflings-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/fonts/glyphicons-halflings-regular.svg -------------------------------------------------------------------------------- /web_frontend/static/fonts/glyphicons-halflings-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/fonts/glyphicons-halflings-regular.ttf -------------------------------------------------------------------------------- /web_frontend/static/fonts/glyphicons-halflings-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/fonts/glyphicons-halflings-regular.woff -------------------------------------------------------------------------------- /web_frontend/static/fonts/glyphicons-halflings-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/fonts/glyphicons-halflings-regular.woff2 -------------------------------------------------------------------------------- /web_frontend/static/js/bootstrap.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/js/bootstrap.js -------------------------------------------------------------------------------- /web_frontend/static/js/bootstrap.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/js/bootstrap.min.js -------------------------------------------------------------------------------- /web_frontend/static/js/jquery-3.0.0.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/js/jquery-3.0.0.min.js -------------------------------------------------------------------------------- /web_frontend/static/js/npm.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/static/js/npm.js -------------------------------------------------------------------------------- /web_frontend/templates/driver_report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/driver_report.html -------------------------------------------------------------------------------- /web_frontend/templates/err.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/err.html -------------------------------------------------------------------------------- /web_frontend/templates/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/header.html -------------------------------------------------------------------------------- /web_frontend/templates/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/index.html -------------------------------------------------------------------------------- /web_frontend/templates/kernel_schedule.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/kernel_schedule.html -------------------------------------------------------------------------------- /web_frontend/templates/mem_crpt_overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/mem_crpt_overview.html -------------------------------------------------------------------------------- /web_frontend/templates/overview.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/overview.html -------------------------------------------------------------------------------- /web_frontend/templates/search_results.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/search_results.html -------------------------------------------------------------------------------- /web_frontend/templates/syscall_report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ssl-tud/k-miner/HEAD/web_frontend/templates/syscall_report.html --------------------------------------------------------------------------------