Trabalho em anais de eventoOpen Access

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)

ALSHMRANY, K.; MENEZES, R.; GADELHA, M. Y. R.; CORDEIRO, L. C

2021 • In 24th International Conference on Fundamental Approaches to Software Engineering • 13 citações

Resumo

Resumo

We describe and evaluate a novel white-box fuzzer for C programs named FuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find security vulnerabilities in C programs. FuSeBMC explores and analyzes C programs (1) to find execution paths that lead to property violations and (2) to incrementally inject labels to guide the fuzzer and the BMC engine to produce test-cases for code coverage. FuSeBMC successfully participates in Test-Comp’21 and achieves first place in the Cover-Error category and second place in the Overall category.

palavras-chave

Palavras-chave

C programssecurity vulnerabilitiessymbolic executionbounded model checkingcode coveragetest case generationvulnerability detection

Status

Published

links

Links e arquivos

DOI

10.1007/978-3-030-71500-7_19

Link Externo

https://doi.org/10.1007/978-3-030-71500-7_19

Repositório

https://www.ncbi.nlm.nih.gov/pmc/articles/7978727

Abrir publicação

Trabalho em anais de evento

Leveraging Template Matching for Efficient Android Screenshot Visual InspectionMYRRIA, ABDA; CASTRO, ALICE; MUNIZ, CAIQUE; BARBOSA, HERYCK; SILVA, ANDRÉ; CORDOVIL, LUIZ; PORTY, ROGER; SOUTO, THIAGO2026 • 2026 IEEE International Conference on Consumer Electronics (ICCE)1citações

Comparative Evaluation of DNNs and Template Matching for GUI Validation on Android DevicesMYRRIA, ABDA; CASTRO, ALICE; MUNIZ, CAIQUE; BARBOSA, HERYCK; SILVA, ANDRÉ; CORDOVIL-JR, LUIZ; PORTY, ROGER; SOUTO, THIAGO2026 • 2026 IEEE International Conference on Consumer Electronics (ICCE)

LLM-based text-to-JQL Generation: an automated test using execution and structural indicatorsLIMA, RAYFRAN ROCHA; DE BRITO, IRINEU EVANGELISTA CRUZ; NASCIMENTO, JARDEL DA CUNHA; CORDOVIL-JR, LUIZ2026 • 2026 IEEE International Conference on Consumer Electronics (ICCE)

Bearing fault prognosis based on evolving granular modelsMARTINIANO, ALEXANDRE; VITÓRIO, ANDEVALDO; AYRES, FLORINDO; OTANI, MARIO; MEDEIROS, JOSÉ; NUNES, RIVELINO; SILVA, RENAN; VARELA, JERRY; MOURA, DAVIDSON; SANTOS, KENNY; COSTA, JEFERSON; MENDONÇA, RAFAEL; BESSA, IURY2026 • XX Simpósio Brasileiro de Automação Inteligente (SBAI 2025) e XII Simpósio Brasileiro de Sistemas Elétricos (SBSE 2025)

Ver todas as publicações