Zobrazeno 1 - 5
of 5
pro vyhledávání: '"symbolisk exekvering"'
Autor:
Amini, Sabor
As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their c
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-512396
Autor:
Lindner, Andreas
With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. Examples are o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______260::8c0df32db5f20444afdc78a35d78e924
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326719
Autor:
Näslund, Johan, Nero, Henrik
One of the more promising solutions for automated binary testing today is hybrid fuzzing, a combination of the two acknowledged approaches, fuzzing and symbolic execution, for detecting errors in code. Hybrid fuzzing is one of the pioneering works co
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-19721
Autor:
Peterson, Thomas
In this thesis we address the problem of control flow reconstruction in the presence of indirect jumps. We introduce an alternating approach which combines both overand under-approximation to increase the precision of the reconstructed control flow a
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-271208
Autor:
Peterson, Thomas
In this thesis we address the problem of control flow reconstruction in the presence of indirect jumps. We introduce an alternating approach which combines both overand under-approximation to increase the precision of the reconstructed control flow a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65b83dd9c5b209e494a68113990160ff
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-271208
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-271208