CorCA: An Automatic Program Repair Tool for Checking and Removing Effectively C Flaws

Embedded systems are present in many devices, such as the Internet of Things, drones, and cyber-physical systems. The software security of these devices can be critical, depending on the context they are integrated and the role they play (e.g., water plants, vehicles). C is the core language used to...

Celý popis

Podrobná bibliografia

Vydané v:	2023 IEEE Conference on Software Testing, Verification and Validation (ICST) s. 71 - 82
Hlavní autori:	Inacio, Joao, Medeiros, Iberia
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.04.2023
Predmet:	Buffer Overflow Vulnerabilities Buffer overflows Code Repair Codes Fuzzing Maintenance engineering Pipelines Software Software Security Software testing Static analysis
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!