Loop-extended symbolic execution on binary programs

P Saxena, P Poosankam, S McCamant… - Proceedings of the …, 2009 - dl.acm.org
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including security-relevant ones. However, existing symbolic …
被引用次数：255 相关文章
[PDF] archive.org

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

PSP Poosankam, SMCD Song - 2009 - scholar.archive.org
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …
[PDF] berkeley.edu

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

PSP Poosankam, SMCD Song - 2009 - people.eecs.berkeley.edu
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …
[PDF] berkeley.edu

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

P Saxena, P Poosankam, S McCamant, D Song - 2009 - bitblaze.cs.berkeley.edu
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …
[PDF] berkeley.edu

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

P Saxena, P Poosankam, S McCamant, D Song - 2009 - eecs.berkeley.edu
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …
[PDF] nus.edu.sg

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

PSP Poosankam, SMCD Song - 2009 - comp.nus.edu.sg
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …

Loop-extended symbolic execution on binary programs

P Saxena, P Poosankam, S McCamant… - … on Software Testing …, 2009 - experts.umn.edu
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …
[PDF] psu.edu

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

P Saxena, P Poosankam, S McCamant, D Song - 2009 - Citeseer
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …
[PDF] psu.edu

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

PSP Poosankam, SMCD Song - 2009 - Citeseer
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …
[PDF] berkeley.edu

[PDF][PDF] Loop-Extended Symbolic Execution on Binary Programs

PSP Poosankam, SMCD Song - 2009 - people.eecs.berkeley.edu
Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including securityrelevant ones. However, existing symbolic …