All issues

Search results

Pointer is not sufficiently aligned

Status: Open.

#60 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jun 29, 2023

Error in watchdog_node

Status: Open.

#59 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jun 29, 2023

Error when building model for points2vscan

Status: Open.

#58 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jun 29, 2023

Refactoring

refactoring

Status: Open.

#54 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Aug 23, 2022

Path conditions of state changes

BehaviorRecover

Status: Open.

#49 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Aug 17, 2022

Input-dependent behavior

BehaviorRecover

Status: Open.

#48 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Aug 17, 2022

Initial State Recovery

BehaviorRecover

Status: Open.

#47 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Aug 17, 2022

Support switch

Status: Open.

#39 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jul 12, 2022

finding ROS API calls...

Status: Open.

#38 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jul 12, 2022

unable to fetch decl for node handle expr

Status: Open.

#37 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jul 12, 2022

const clang::Expr *clang::CXXConstructExpr::getArg(unsigned int) const: Assertion `Arg < getNumArgs() && "Arg access out of range!"' failed.

Status: Open.

#36 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jul 12, 2022

symbolizing (str): StringLiteral

Status: Open.

#30 In cmu-rss-lab/rosdiscover-cxx-recover;

· tobiasduerschmid opened on Jul 7, 2022