Results 81 to 90 of about 337 (131)
A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]
PLoS One, 2017 Wen S, Meng Q, Feng C, Tang C.
europepmc +1 more source
Removal of vulnerabilities in binary code by program model checking and concolic execution
Tese de Mestrado, Informática, 2024, Universidade de Lisboa, Faculdade de CiênciasThe C programming language, prevalent in Cyber-Physical systems, is crucial for system control where reliability is critical.
Ferreirinha, Luís Pedro Félix
core
Case Study on Testing with KLEE Concolic Testing Tool
, 2011 다양하고 많은 소프트웨어가 개발되고 있는 현 시장에서 소프트웨어의 질을 향상시키기 위해 적은 비용으로 효과적으로 신뢰성을 검증할 수 있는 다양한 테스팅 기법이 활발히 연구되고 있다. Concolic (Concrete+symbolic) 테스팅 또는 동적 심볼릭 수행(dynamic symbolic execution) 기법을 적용한 테스팅 도구가 많이 구현되고 있는데, 본 논문에서는 많은 Concolic 테스팅 도구 중 KLEE에 대한 특징을 살펴보고 ...
김문주, 김윤호, 김영주
core
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. [PDF]
IEEE Secur Priv, 2014 Brubaker C +4 more
europepmc +1 more source
RiverConc: An Open-source Concolic Execution Engine for x86 Binaries
Proceedings of the 15th International Conference on Software Technologies, 2020 Ciprian Paduraru +2 more
openaire +1 more source
Using Pale to generate input in concolic testing
The Pale framework offers high expressiveness for preconditions, postconditions, loop and data structure invariants and can soundly verify the correctness of a program manipulating pointers.
BRUNO, VALERIO
core
Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols
, 2006 Testing concurrent programs that accept data inputs is notoriously hard because, beside the large number of possible data inputs, nondeterminism results in an exponentially large number of interleavings of concurrent events.
Sen, Koushik +3 more
core