Project

General

Profile

Bug #9910

Symbolic executor fails to construct CFG

Added by Alexander Kamkin 12 months ago. Updated 9 months ago.

Status:
Closed
Priority:
Normal
Category:
Symexecutor
Target version:
Start date:
11/11/2019
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
2.5.1-beta-200127

Description

Symbolic executor fails to construct CFG for fibonacci.c (-O3).

        {
            "range": [
                33,
                32
            ],
            "target_taken": -1,
            "target_other": -1,
            "condition_smt": "true",
            "hwstate_mod_smt": [
                {
                    "asm": {
                        "name": "PC",
                        "kind": "reg",
                        "type": "i64" 
                    },
                    "smt_in": "PC!126",
                    "smt_out": "PC!127",
                    "smt_type": "(_ BitVec 64)" 
                }
            ]
        }

Associated revisions

Revision 33e860ea (diff)
Added by Artem Kotsynyak 10 months ago

[symexec,cfg] prevent queuing out-of-range indices

fixes #9910

Signed-off-by: Artem Kotsynyak <>

History

#1

Updated by Alexander Kamkin 12 months ago

  • Category set to Symexecutor
#2

Updated by Artem Kotsynyak 10 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved
#3

Updated by Alexander Kamkin 9 months ago

  • Target version changed from 2.4 to 2.5
#4

Updated by Alexander Kamkin 9 months ago

  • Published in build set to 2.5.1-beta-200127
  • Status changed from Resolved to Closed

Also available in: Atom PDF