Skip to content

A bug detector based on call graphs and invariant inference

License

Notifications You must be signed in to change notification settings

1811htsang/IE105-P21-Software-bug-detection-using-graph

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

31 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This repository is used to store some experiments, documentation about topic Software Bug Detection using graph, this topic related to subject Introduction to information assurance and security IE105 of VNUHCM-UIT.

The folder sample-project is cloned from the repository BugDetector, contains sample code to test the bug detection tool. Some files in this folder are modified to test the tool based on the location of selected libraries and the updated syntax of the opt tool from LLVM 15.0.7.

The folder recreate contains the modified workflow to match the mentioned workflow from recreate/Note.md and the final report. More information about the workflow can be found in the Note.md file. The recreate folder also contains some sample code to test the bug detection tool, which is used to test the tool based on the location of selected libraries and the updated syntax of the opt tool from LLVM 15.0.7.

The folder documents contains up to 25 documents related to the keywords of the topic. The documents are collected from various sources, including Google Scholar, IEEE Xplore, and other academic databases. The documents are organized into subfolders based on the keywords of the topic. The documents are in PDF format and can be opened using any PDF reader.

The folder miscellaneous contains some miscellaneous files related to the topic. Maybe some files and folders are not used in the final report, but they are still useful for the topic. The files are organized into subfolders based on the keywords of the topic. The files are in various formats, including PDF, DOCX, and TXT.

This repository is also used in the final report of the subject IE105 - Introduction to information assurance and security, VNUHCM-UIT, 2024. The detailed report is located in here. The report is written in Vietnamese, and the content is based on the topic of Software bug detection using graph.

P.S: The author recommended not to register the course IE105 - Introduction to information assurance and security at VNUHCM-UIT and this topic. If there is no other choice, the author recommends registering for the course and this topic, but not to take it seriously. This topic is quite hard to understand and find the knowledge resource. !

Releases

No releases published

Packages

No packages published

Languages

  • Jupyter Notebook 62.3%
  • C++ 22.4%
  • Shell 8.9%
  • Python 4.5%
  • C 1.7%
  • Makefile 0.2%