clair icon indicating copy to clipboard operation
clair copied to clipboard

C Language Analysis in Rascal

Results 31 clair issues
Sort by recently updated
recently updated
newest added

CDTParser.java contains a number of macros that are fed to CDT. - This list might not be complete/accurate and might be biased towards what a Microsoft C++ compiler provides. -...

* either the spec is wrong * or we have some nodes that do not follow the spec Either is as probable since the spec wasn't used before.

bug
help wanted

It would be helpful to have the M3 model documented: - which relations are there? - what can they be used for? - example Reason: To benefit from the level...

The documentation of ClaiR can be improved, for example: - document how to configure a client project (set dependencies in MANIFEST.MF, RASCAL.MF, etc) - document how to use ClaiR from...

for example function declarations in `m3.declarations` point only to the header

bug

I am parsing a header file using Rascal ClaiR: ``` iFile = toLocation("file://D:/test.h"); ast = parseCpp(iFile); iprint(ast); ``` The header file test.h looks as follows: ``` #ifndef TEST_H #define TEST_H...

Clair version: 0.6.5 Rascal version: 0.28.3 OS: Ubuntu 22.10 aarch64 Java version: openjdk 17.0.6 2023-01-17 While playing with the `createM3FromCppFile` function, I and others have noticed that you cannot have...