PPT-Static and Dynamic Symbolic Execution Framework

Author : ellena-manuel | Published Date : 2016-07-19

pLLat sjtu dot edu dot cn Basic Principle System design Instrument tool dynamorio Reverse engine libdasm Solver stp Basic Principle What is SxF A framework which

Presentation Embed Code

Download Presentation

Download Presentation The PPT/PDF document "Static and Dynamic Symbolic Execution Fr..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

Static and Dynamic Symbolic Execution Framework: Transcript

pLLat sjtu dot edu dot cn Basic Principle System design Instrument tool dynamorio Reverse engine libdasm Solver stp Basic Principle What is SxF A framework which is used to traverse all CFGs related to . Kevin Wallace, CSE504. 2010-04-28. 2. Problem. Attacker-facing code must be written to guard against all possible inputs. There are many execution paths; not a single one should lead to a vulnerability. Corina. . Pasareanu. Carnegie Mellon/NASA Ames. c. orina.s.pasareanu@nasa.gov. Overview. “Classical” symbolic execution and its variants. Generalized symbolic execution . D. ynamic and . concolic. Lucene. /. Solr. Mike . Schultz. mike.schultz@gmail.com. Static . Rank for . Solr. /. Lucene. Dynamic . Rank. Why Static Rank. Combining . Scores. Static Rank Components. Multiple Fields /. . Multiple Types. Outline. What is slicing?. Why use slicing. ?. Static slicing . o. f programs. Dynamic Program Slicing. Data dependence detection. Control dependence detection. Backward Slicing . Backward computation. (but might have been afraid to ask). IEEE S&P 2010. Overview. Two Main Contributions. Precisely describe the algorithms for dynamic taint analysis and forward symbolic execution as extensions to the run-time semantics of a general language. Subodh Sharma. Indian Institute of Technology Delhi. State merging, . Concolic. Execution. Concolic. Execution. Works well on . interprocedural. bugs, use of library calls. Concolic. Execution. Falls back on concrete values when . Towards Automatic Signature Generation. of Vulnerability-based Signature. Dynamic Analysis. Unleashing Mayhem on Binary Code. Automatic exploit detection: attack and defense. Static and Dynamic Analysis. Edward J. Schwartz, . Thanassis. Avgerinos, David . Brumley. Presented by: . Haitao Xu. 1. The Root of All Evil. Humans write programs. This Talk:. Computers Analyzing Programs Dynamically at Runtime. Cristian. . Cadar. , Patrice . Godefroid. , . Sarfraz. . Khurshid. , . Corina. . Pasareanu. , . Koushik. . Sen. , Nikolai . Tillmann. , Willem . Visser. Overview. S. ymbolic execution and its variants. interruption: . Evidence . from the Korean stock . markets. March 1, 2018. Risk Seminar at UC Berkeley. Kyung Yoon . Kwon. (KAIST/University of Strathclyde). Kyong . Shik. . Eom. (CRMR, Berkeley). Accelerating Dynamic Analysis through Predicated Static Analysis. David Devecsery. , Peter Chen, Jason Flinn, Satish Narayanasamy. Systems Today are Unsafe. Runtime systems are largely unmonitored.. Accelerating Dynamic Analysis through Predicated Static Analysis. David Devecsery. , Peter Chen, Jason Flinn, Satish Narayanasamy. Systems Today are Unsafe. Runtime systems are largely unmonitored.. interruption: . Evidence . from the Korean stock . markets. March 1, 2018. Risk Seminar at UC Berkeley. Kyung Yoon . Kwon. (KAIST/University of Strathclyde). Kyong . Shik. . Eom. (CRMR, Berkeley). c // symbolic3int x 0 y 0 z 04if a 5 x -267if b 5 8 if a c y 1 9 z 21011assertxyz3x0 y0 z0x-2z2y1z2z2tftftftfpath condition55Why Is This PossibleThere are very powerful

Download Document

Here is the link to download the presentation.
"Static and Dynamic Symbolic Execution Framework"The content belongs to its owner. You may download and print it for personal use, without modification, and keep all copyright notices. By downloading, you agree to these terms.