├── .gitignore ├── Paper ├── ASE19_Cloud.pdf ├── ASE19_ReduKtor.pdf ├── ASPLOS08_characteristics.pdf ├── DSN18_OWL.pdf ├── FSE18_NAR-miner.pdf ├── FSE19_Bad.pdf ├── FSE19_Concolic.pdf ├── FSE19_Concurrency.pdf ├── FSE19_Importance.pdf ├── FSE19_Learning.pdf ├── FSE19_Locating.pdf ├── FSE_Concolic.pdf ├── ICSE18_Cyber.pdf ├── ICSE18_Spatio.pdf ├── ICSE18_UFO.pdf ├── ICSE19_CRADLE.pdf ├── ICSE19_Diffuzz.pdf ├── ICSE19_Hunting.pdf ├── ICSE19_Leopard.pdf ├── ICSE19_Mining.pdf ├── ICSE19_SMOKE.pdf ├── ISPDC_FreeRTOS.pdf ├── NDSS17_LowFat.pdf ├── NDSS19_CRCount.pdf ├── NDSS19_Profit.pdf ├── OOPSLA18_RaceD.pdf ├── PLDI18_EffectiveSan.pdf ├── POPL19_Race.pdf ├── SP19_Attack.pdf ├── SP19_CaSym.pdf ├── SP19_Postcards.pdf ├── SP19_SoK.pdf ├── TSE18_ConPredictor.pdf ├── USENIX19_Scalable.pdf └── USENIX_Synesthesia.pdf ├── README.md └── image ├── github_24px.png ├── pdf_24px.png ├── ppt_24px.png ├── wechat_24px.png └── youdao_note_24px.png /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | -------------------------------------------------------------------------------- /Paper/ASE19_Cloud.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ASE19_Cloud.pdf -------------------------------------------------------------------------------- /Paper/ASE19_ReduKtor.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ASE19_ReduKtor.pdf -------------------------------------------------------------------------------- /Paper/ASPLOS08_characteristics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ASPLOS08_characteristics.pdf -------------------------------------------------------------------------------- /Paper/DSN18_OWL.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/DSN18_OWL.pdf -------------------------------------------------------------------------------- /Paper/FSE18_NAR-miner.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE18_NAR-miner.pdf -------------------------------------------------------------------------------- /Paper/FSE19_Bad.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE19_Bad.pdf -------------------------------------------------------------------------------- /Paper/FSE19_Concolic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE19_Concolic.pdf -------------------------------------------------------------------------------- /Paper/FSE19_Concurrency.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE19_Concurrency.pdf -------------------------------------------------------------------------------- /Paper/FSE19_Importance.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE19_Importance.pdf -------------------------------------------------------------------------------- /Paper/FSE19_Learning.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE19_Learning.pdf -------------------------------------------------------------------------------- /Paper/FSE19_Locating.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE19_Locating.pdf -------------------------------------------------------------------------------- /Paper/FSE_Concolic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/FSE_Concolic.pdf -------------------------------------------------------------------------------- /Paper/ICSE18_Cyber.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE18_Cyber.pdf -------------------------------------------------------------------------------- /Paper/ICSE18_Spatio.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE18_Spatio.pdf -------------------------------------------------------------------------------- /Paper/ICSE18_UFO.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE18_UFO.pdf -------------------------------------------------------------------------------- /Paper/ICSE19_CRADLE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE19_CRADLE.pdf -------------------------------------------------------------------------------- /Paper/ICSE19_Diffuzz.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE19_Diffuzz.pdf -------------------------------------------------------------------------------- /Paper/ICSE19_Hunting.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE19_Hunting.pdf -------------------------------------------------------------------------------- /Paper/ICSE19_Leopard.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE19_Leopard.pdf -------------------------------------------------------------------------------- /Paper/ICSE19_Mining.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE19_Mining.pdf -------------------------------------------------------------------------------- /Paper/ICSE19_SMOKE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ICSE19_SMOKE.pdf -------------------------------------------------------------------------------- /Paper/ISPDC_FreeRTOS.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/ISPDC_FreeRTOS.pdf -------------------------------------------------------------------------------- /Paper/NDSS17_LowFat.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/NDSS17_LowFat.pdf -------------------------------------------------------------------------------- /Paper/NDSS19_CRCount.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/NDSS19_CRCount.pdf -------------------------------------------------------------------------------- /Paper/NDSS19_Profit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/NDSS19_Profit.pdf -------------------------------------------------------------------------------- /Paper/OOPSLA18_RaceD.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/OOPSLA18_RaceD.pdf -------------------------------------------------------------------------------- /Paper/PLDI18_EffectiveSan.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/PLDI18_EffectiveSan.pdf -------------------------------------------------------------------------------- /Paper/POPL19_Race.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/POPL19_Race.pdf -------------------------------------------------------------------------------- /Paper/SP19_Attack.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/SP19_Attack.pdf -------------------------------------------------------------------------------- /Paper/SP19_CaSym.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/SP19_CaSym.pdf -------------------------------------------------------------------------------- /Paper/SP19_Postcards.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/SP19_Postcards.pdf -------------------------------------------------------------------------------- /Paper/SP19_SoK.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/SP19_SoK.pdf -------------------------------------------------------------------------------- /Paper/TSE18_ConPredictor.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/TSE18_ConPredictor.pdf -------------------------------------------------------------------------------- /Paper/USENIX19_Scalable.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/USENIX19_Scalable.pdf -------------------------------------------------------------------------------- /Paper/USENIX_Synesthesia.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/Paper/USENIX_Synesthesia.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/README.md -------------------------------------------------------------------------------- /image/github_24px.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/image/github_24px.png -------------------------------------------------------------------------------- /image/pdf_24px.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/image/pdf_24px.png -------------------------------------------------------------------------------- /image/ppt_24px.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/image/ppt_24px.png -------------------------------------------------------------------------------- /image/wechat_24px.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/image/wechat_24px.png -------------------------------------------------------------------------------- /image/youdao_note_24px.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fengjixuchui/BugDetectionPaper/HEAD/image/youdao_note_24px.png --------------------------------------------------------------------------------