clair
clair copied to clipboard
C Language Analysis in Rascal
an operator like `operator
See #83 . We are currently moving in the other extreme, because there are other schemes that we might be able to remove safely. Looking at my project, I see...
``` @synopsis{fills out the call graph by adding the tuples for possible actual methods and constructors, and removing the corresponding calls to virtual methods and constructors.} rel[loc caller, loc callee]...
Getting an overview of all components in the system is difficult. Intuitively, one would imagine, that all relations contain elements from the `declarations` relation. However, it turns out that this...
When I extract function and method names from the AST, I want to match them to their corresponding logical names in the M3. The M3 includes the structure of the...
Setup: - Rascal 0.35.0-RC1 - Clair 0.12.0 - Ubuntu 22.10 aarch64 - OpenJDK 17.0.7 Given a simple C program, such as: ```c #include int main(int argc, char argv[]){ int a=0;...
If you try to parse ``` template struct _Reference_wrapper_base : binary_function { }; ``` (part of the pre-processor output of [refwrap.h](https://github.com/gcc-mirror/gcc/blob/master/libstdc++-v3/include/bits/refwrap.h)) you get an element `|problem:///f5ef9aee-b8a9-4a9c-83a7-4db94d180f09?message=Attempt%20to%20use%20symbol%20failed:%20|` in the declared elements...
When calling `parseCpp` with a location `l` that has positional information (the part after the URI), the function correctly only parses this part of the code. However, all positions in...