kubo：结合使用按需控制数据流切片，污点分析和符号执行，为Linux内核提供可扩展且精确的UB检测
需积分: 13 107 浏览量
2021-02-26
07:55:50
上传
评论
收藏 22.62MB ZIP 举报
kubo：结合使用按需控制数据流切片，污点分析和符号执行，为Linux内核提供可扩展且精确的UB检测 （1055个子文件） 
kernel.api 20KB super.c 174KB cuddAPI.c 136KB cuddUtil.c 107KB v4l2-ioctl.c 101KB inode.c 96KB cuddTable.c 94KB cuddApprox.c 68KB cuddDecomp.c 62KB cuddGroup.c 62KB cuddReorder.c 59KB cuddPriority.c 58KB cuddGenCof.c 57KB cuddSubsetSP.c 55KB timer.c 55KB vivid-vid-cap.c 52KB cuddCompose.c 49KB cuddSat.c 49KB cuddSymmetry.c 49KB dddmpStoreMisc.c 48KB dddmpStoreCnf.c 47KB cuddZddSymm.c 46KB cuddZddReord.c 44KB namei.c 44KB dddmpLoad.c 44KB cuddEssent.c 44KB cuddExport.c 43KB cuddLCache.c 40KB cuddZddFuncs.c 40KB cuddSubsetHB.c 40KB cuddZddGroup.c 39KB cuddLinear.c 38KB cuddBddIte.c 36KB cuddZddUtil.c 34KB dddmpStoreBdd.c 32KB epd.c 32KB dddmpLoadCnf.c 29KB cuddExact.c 28KB st.c 28KB dddmpStoreAdd.c 28KB cuddZddSetop.c 28KB cuddZddLin.c 28KB cuddGenetic.c 27KB cuddApa.c 27KB cuddCache.c 27KB cuddWindow.c 27KB mtrGroup.c 27KB cuddCheck.c 26KB cuddBridge.c 26KB cuddZddIsop.c 25KB dddmpNodeCnf.c 25KB cuddAddApply.c 23KB cuddAnneal.c 22KB cuddBddAbs.c 21KB cuddRef.c 20KB cuddMatMult.c 20KB cuddSplit.c 19KB cuddAddIte.c 17KB cuddAddAbs.c 17KB cuddLevelQ.c 17KB v4l2-common.c 17KB cuddRead.c 16KB cuddClip.c 16KB cuddHarwell.c 15KB cuddBddCorr.c 14KB cuddInteract.c 13KB mtrBasic.c 13KB hopscotch.c 12KB dddmpNodeAdd.c 12KB dddmpNodeBdd.c 12KB dddmpDdNodeBdd.c 12KB cuddAddWalsh.c 12KB seq_timer.c 11KB cuddAndAbs.c 11KB cuddZddPort.c 11KB cuddSolve.c 11KB dddmpUtil.c 10KB cuddSign.c 10KB cuddZddCount.c 10KB cuddInit.c 10KB cuddCof.c 10KB dddmpBinary.c 9KB cuddAddFind.c 9KB cuddAddNeg.c 8KB cuddLiteral.c 8KB cuddZddMisc.c 8KB SCC.c 8KB cuddAddInv.c 7KB symtab.c 6KB dddmpConvert.c 6KB dddmpDbg.c 5KB saveimage.c 5KB hashes.c 4KB cpu_stats.c 3KB restart.c 3KB safe_mem.c 2KB pipefork.c 2KB state.c 2KB pathsearch.c 2KB test.c 2KB共 1055 条
- 1
- 2
- 3
- 4
- 5
- 6
- 11
资源评论
法学晨曦
- 粉丝: 15
- 资源: 4608
