计划分析课程：COM S 413513和CPR E 513爱荷华州立大学程序分析的基础和应用
需积分: 5 34 浏览量
2021-02-24
06:08:53
上传
评论
收藏 60.69MB ZIP 举报
计划分析课程：COM S 413513和CPR E 513爱荷华州立大学程序分析的基础和应用 （105个子文件） 
bufferoverflow2.c 838B bufferoverflow2.c 838B bufferoverflow.c 355B bufferoverflow.c 355B type-signature.c 198B
a.exe 65KB LICENSE 1KB README.md 1KB
programrepair.pdf 5.14MB 3.dataflowanalysis.pdf 3.53MB AI^2byMartin.pdf 1.89MB analyzechangesversions.pdf 1.85MB SoftwareChangesVersions.pdf 1.62MB 413.bugs-aiden-2020.pdf 1.55MB 4.abstractIntepretation.pdf 1.42MB symbolicexecution.pdf 1.42MB symbolicexecution.pdf 1.42MB pointeranalysis.pdf 1.27MB pointeranalysis.pdf 1.26MB 2.symbolicexecution.pdf 1.23MB 413.bugs-jacob-2020.pdf 1.19MB specificationinference.pdf 1.12MB dependencyandslicing.pdf 945KB dependencyandslicing.pdf 945KB specificationinference.pdf 944KB everythingaboutbugs.pdf 746KB everythingaboutbugs.pdf 690KB 2.cfg.pdf 666KB dataflowanalysis.pdf 608KB dataflowanalysis.pdf 586KB deltadebugging.pdf 551KB 1.pairwisetesting_example.pdf 540KB Pairwise Testing Example.pdf 540KB deltadebugging.pdf 511KB interproceduralanalysis.pdf 453KB fuzzing.pdf 448KB fuzzing.pdf 429KB ifds_ben.greenman.pdf 356KB ifds_ben.greenman.pdf 356KB cfg.pdf 339KB invariants-icse99-slides.pdf 320KB invariants-icse99-slides.pdf 320KB analysistestingforaisoftware.pdf 289KB context-sensitivity_harvard.pdf 262KB context-sensitivity_harvard.pdf 262KB syllabus.pdf 114KB 513x-syllabus.pdf 111KB 413x-syllabus.pdf 110KB syllabus.pdf 103KB 2019.cs413x513x-project1.pdf 88KB 2019.cs413x513x-project5.pdf 88KB 2019.cs.413x513x-project2.pdf 88KB 2019.cs413x513x-project3.pdf 88KB 2019.cs.413x513x-finalproject.pdf 83KB intro_automatictestinputgeneration.pdf 82KB intro_automatictestinputgeneration.pdf 82KB 2019.cs413x_survey.pdf 80KB project1.understandingbugs.pdf 79KB 2019.cs413x513x-project4.pdf 78KB project5.generatingandanalyzingprograminvariants.pdf 75KB project2.comparingaflandklee.pdf 72KB 2020.finalproject.pdf 71KB 2020.413-survey.pdf 71KB 413.513_Project1_Bugs.pdf 70KB 413.513_Project2_Testing.pdf 69KB project3.buildinganautomaticdebugger.pdf 67KB project4.analyzingsoftwarechangesandversions.pdf 67KB 413_513.FinalProject.pdf 58KB 1.introtoautomatictestinputgeneration.pdf 58KB 2020.513-survey.pdf 58KB 413.Survey.pdf 52KB 513.Survey.pdf 52KB docker.pdf 50KB docker.pdf 49KB Overview.pdf 44KB bigcodeanalysis.pdf 965KB bigcodeanalysis.pdf 736KB 1.everythingaboutbugs.pdf 623KB analysistestingforaisoftware.pdf 600KB cfg.pdf 464KB 2019.cs513x_survey.pdf 79KB
if-loop-cfg.png 96KB loop-cfg.png 40KB
3.threedataflowproblems.ppt 21.83MB wei_mvicfg_icse.ppt 1.55MB wei_mvicfg_icse.ppt 1.55MB BasicFuzzing_SlidesAdaptedFromTal's.ppt 1.03MB threedataflowproblems.ppt 682KB threedataflowproblems.ppt 682KB dynamicslicing.ppt 521KB 4.abstractintepretation.example.ppt 376KB AIexamplebyAlexAiken.ppt 374KB AIexamplebyAlexAiken.ppt 374KB 2.dynamicsymbolicexecution_dart.ppt 266KB dart_patrice.ppt 266KB dart_patrice.ppt 266KB
413.bugs-levi-2019.pptx 2.95MB 513.debugging-dobe-2019.pptx 1.44MB delta_debugging_byMayurNaik.pptx 1.02MB faultsignature.pptx 48KB共 105 条
- 1
- 2
十月飘零
- 粉丝: 34
- 资源: 4672
评论0