Browse wiki

From Navigators

Jump to: navigation, search
Abstract The use of software daily has become inevi The use of software daily has become inevitable nowadays. Almost all everyday tools and most different areas (e.g., medicine or telecommunications) are dependent on software. The C programming language is one of the most used languages for software development, such as operating systems, drivers, embedded systems, and industrial products. Even with the appearance of new languages, it remains one of the most used. At the same time, C lacks verification mechanisms, like array boundaries, leaving the entire responsibility to the developer for the correct management of memory and resources. These weaknesses are at the root of buffer overflows (BO) vulnerabilities, which range the first place in the CWE’s top 25 of the most dangerous weaknesses. This work introduces an approach for automatically detecting and correcting flaws in C programs. The goal is to provide a pipeline of small modules and tools to discover BOs statically, confirm their presence by fuzzing and remove the vulnerabilities by repairing the code and testing the corrections’ effectiveness. nd testing the corrections’ effectiveness.
Author João Inácio + , Ibéria Medeiros +
Booktitle In Proceedings of the 52nd IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22)  +
Key DSN22-fa  +
Month jun  +
NumPubDate 2,022.06  +
Project Project:Xivt +
ResearchLine Fault and Intrusion Tolerance in Open Distributed Systems (FIT) +
Title Effectiveness on C Flaws Checking and Removal (fast abstract)  +
Type inproceedings  +
Year 2022  +
Has improper value forThis property is a special property in this wiki. Url  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 24 August 2022 16:51:31  +
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
Personal tools
Navigators toolbox