Question

instrument a java lambda using ASM

score 221 · Answer 1 · 2020-11-30 14:56:54

221

Views

instrument a java lambda using ASM

Published on 30 November 2020 at 14:56

score 486 · Answer 2 · 2021-04-28 09:00:33

486

Views

Why is this Symbolic Execution with Z3 resulting in an error?

Published on 28 April 2021 at 09:00

score 465 · Answer 3 · 2020-09-22 07:42:18

465

Views

Analyzing firmware file with angr

Published on 22 September 2020 at 07:42

score 1.7k · Answer 4 · 2020-09-24 16:37:31

1.7k

Views

how to use 'stdin' in angr

Published on 24 September 2020 at 16:37

score 58 · Answer 5 · 2020-07-30 04:39:39

58

Views

Symbolic `show` for `SInt16`

Published on 30 July 2020 at 04:39

score 148 · Answer 6 · 2022-04-01 09:55:15

148

Views

Is this how to test a stateful API with klee symbolic execution?

Published on 01 April 2022 at 09:55

score 79 · Answer 7 · 2022-11-23 08:29:04

79

Views

Why IR is needed for symbolic execution?

Published on 23 November 2022 at 08:29

score 187 · Answer 8 · 2018-06-06 04:48:44

187

Views

What a Symbolic Model Looks Like

Published on 06 June 2018 at 04:48

score 444 · Answer 9 · 2013-07-29 16:13:57

444

Views

Reachability and symbolic execution

Published on 29 July 2013 at 16:13

score 73 · Answer 10 · 2021-02-26 17:21:09

73

Views

In which circumstances we cannot use symbolic execution?

Published on 26 February 2021 at 17:21

score 1.1k · Answer 11 · 2013-11-01 01:39:30

1.1k

Views

How to implement a symbolic execution engine for a particular language?

Published on 01 November 2013 at 01:39

score 119 · Answer 12 · 2016-05-05 12:41:24

119

Views

what is this sequence of chars in symbolic execution?

Published on 05 May 2016 at 12:41

score 209 · Answer 13 · 2023-07-24 19:51:04

209

Views

How Can I execute a function in angr using concrete value?

Published on 24 July 2023 at 19:51

score 170 · Answer 14 · 2021-12-05 11:45:05

170

Views

How to annotate a program to detect dead-code with z3-solver?

Published on 05 December 2021 at 11:45

score 4.5k · Answer 15 · 2016-08-11 08:42:05

4.5k

Views

Static analysis vs. symbolic execution in implementation

Published on 11 August 2016 at 08:42

score 2.3k · Answer 16 · 2016-08-23 15:54:51

2.3k

Views

symbolic execution and model-checking

Published on 23 August 2016 at 15:54

score 4.8k · Answer 17 · 2015-01-24 18:16:10

4.8k

Views

In concolic testing, what does "concrete execution" mean?

Published on 24 January 2015 at 18:16

score 67 · Answer 18 · 2023-05-13 06:46:09

67

Views

How can I translate z3::expr(bv_val) into a bit representation of a number?

Published on 13 May 2023 at 06:46

score 833 · Answer 19 · 2014-05-14 13:38:40

833

Views

Symbolic Execution/Concolic Testing on OS Kernel

Published on 14 May 2014 at 13:38

score 175 · Answer 20 · 2016-12-15 07:03:16

175

Views

Modern symbolic execution techniques

Published on 15 December 2016 at 07:03

List Question

instrument a java lambda using ASM

Why is this Symbolic Execution with Z3 resulting in an error?

Analyzing firmware file with angr

how to use 'stdin' in angr

Symbolic `show` for `SInt16`

Is this how to test a stateful API with klee symbolic execution?

Why IR is needed for symbolic execution?

What a Symbolic Model Looks Like

Reachability and symbolic execution

In which circumstances we cannot use symbolic execution?

How to implement a symbolic execution engine for a particular language?

what is this sequence of chars in symbolic execution?

How Can I execute a function in angr using concrete value?

How to annotate a program to detect dead-code with z3-solver?

Static analysis vs. symbolic execution in implementation

symbolic execution and model-checking

In concolic testing, what does "concrete execution" mean?

How can I translate z3::expr(bv_val) into a bit representation of a number?

Symbolic Execution/Concolic Testing on OS Kernel

Modern symbolic execution techniques

Trending Questions

Popular # Hahtags

Popular Questions