Search results

overloaded operator calls do not end up in call graph

Status: Open.

#87 In usethesource/clair;

· jurgenvinju opened on Feb 28, 2024

qualified names of operator methods have additional spaces (sometimes)

Status: Open.

#85 In usethesource/clair;

· jurgenvinju opened on Feb 26, 2024

Underapproximation in closeOverriddenVirtualCalls

Status: Open.

#83 In usethesource/clair;

· linuswagner opened on Feb 19, 2024

Identification of all elements in the model not straight-forward

Status: Open.

#82 In usethesource/clair;

· linuswagner opened on Feb 18, 2024

Name matching functions

Status: Open.

#81 In usethesource/clair;

· linuswagner opened on Jan 28, 2024

Missing varialbe and parameter types from C functions inside M3 Model

Status: Open.

#80 In usethesource/clair;

· matteasu opened on Jan 4, 2024

Problem resolving funny C++ constructs

Status: Open.

#79 In usethesource/clair;

· linuswagner opened on Jan 4, 2024

Offset not applied for locations in parseCpp

Status: Open.

#76 In usethesource/clair;

· linuswagner opened on Dec 29, 2023

C files get |cpp+translationUnit:///| as root instead of |c+translationUnit|

Status: Open.

#74 In usethesource/clair;

· jurgenvinju opened on Dec 21, 2023

The test function astSpecification from analysis::m3::AST fails on all the test examples in the clair project

bug

help wanted

Status: Open.

#67 In usethesource/clair;

· jurgenvinju opened on Nov 21, 2023

Documentation for the M3 Model

Status: Open.

#64 In usethesource/clair;

· linuswagner opened on Jul 12, 2023

Problem types object.toString()'s end up in URIs; don't know what to do about this.

bug

Status: Open.

#50 In usethesource/clair;

· jurgenvinju opened on Apr 26, 2023