1 citations · 1 across the 3 of their papers we have counts for
3 papers
Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Eddie Batista de Lima Filho +1
This study investigates vulnerabilities in dependencies of sampled open-source software (OSS) projects, the relationship between these and overall project security, and how develop…
ESBMC-Python: A Bounded Model Checker for Python Programs
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho +2
This paper introduces a tool for verifying Python programs, which, using type annotation and front-end processing, can harness the capabilities of a bounded model-checking (BMC) pi…
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva +2
Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to g…