Symbolic Execution – S3lab http://s3lab.deusto.es S3lab Security Blog Wed, 06 May 2020 12:51:35 +0000 en-US hourly 1 https://wordpress.org/?v=5.1.5 The idea behind the symbolic execution http://s3lab.deusto.es/idea-symbolic-execution/ Tue, 07 Nov 2017 09:31:09 +0000 http://s3lab.deusto.es/?p=9554 Following in the line of program analysis techniques, this time we are going to talk about a technique that is somewhere in between static techniques and dynamics, symbolic execution. It is a type of analysis that covers different limitations of…

Read more ›

The post The idea behind the symbolic execution appeared first on S3lab.

]]> Following in the line of program analysis techniques, this time we are going to talk about a technique that is somewhere in between static techniques and dynamics, symbolic execution. It is a type of analysis that covers different limitations of static and dynamic analysis and provides a solution to address the limited semantic view of fuzzing, which is why it is used by a huge number of security applications, such as vulnerability detection. , malware analysis or generation of test cases.

The post The idea behind the symbolic execution appeared first on S3lab.

]]>