usethesource clair issues

usethesource / clair

C Language Analysis in Rascal

BSD 2-Clause "Simplified" License

25 stars 12 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Updated to latest rascal and rascal-maven-plugin

#94 rodinaarssen closed 1 day ago
0
Chore/update rascal version

#93 rodinaarssen closed 1 week ago
0
Using latest rascal and rascal-core

#92 DavyLandman closed 3 weeks ago
0
Updated to non-rc version of new rascal release

#91 DavyLandman closed 2 months ago
1
Updated clair to the latest version of rascal

#90 DavyLandman closed 4 months ago
0
Update README.md Fix the pom.xml

#89 koenvanwijk closed 6 months ago
1
Update CITATION

#88 NemuruYama closed 6 months ago
1
overloaded operator calls do not end up in call graph

#87 jurgenvinju opened 8 months ago
0
URI construction for functions and methods prints slashes in the path for qualified parameter types

#86 linuswagner closed 8 months ago
0
qualified names of operator methods have additional spaces (sometimes)

#85 jurgenvinju opened 8 months ago
2
Avoid removal of virtual method calls from call graph when applying method overrides

#84 linuswagner opened 8 months ago
0
Underapproximation in closeOverriddenVirtualCalls

#83 linuswagner opened 8 months ago
1
Identification of all elements in the model not straight-forward

#82 linuswagner opened 8 months ago
1
Name matching functions

#81 linuswagner opened 9 months ago
1
Missing varialbe and parameter types from C functions inside M3 Model

#80 matteasu opened 10 months ago
2
Problem resolving funny C++ constructs

#79 linuswagner opened 10 months ago
1
Remove debug prints

#78 linuswagner closed 10 months ago
1
parseFiles contains debug prints

#77 linuswagner closed 10 months ago
1
Offset not applied for locations in parseCpp

#76 linuswagner opened 10 months ago
1
issue 69

#75 jurgenvinju closed 10 months ago
0
C files get `|cpp+translationUnit:///|` as root instead of `|c+translationUnit|`

#74 jurgenvinju opened 10 months ago
0
Fixes #72

#73 jurgenvinju closed 10 months ago
0
Names too unique

#72 linuswagner closed 10 months ago
7
Taking on every NYI we hit while parsing a large code base

#71 jurgenvinju closed 10 months ago
3
bumped to cdt 11.4.0

#70 jurgenvinju opened 11 months ago
1
Missing return types from C functions inside M3 model

#69 matteasu closed 10 months ago
3
Parsing problems with enums, lambdas and nothrows.

#68 NemuruYama closed 11 months ago
10
The test function `astSpecification` from analysis::m3::AST fails on all the test examples in the clair project

#67 jurgenvinju opened 11 months ago
0
working on adding declTypes and fixing some NYI

#66 linuswagner closed 11 months ago
0
we added resolution of two stage method templates and also increased methodOverrides with the relation (one to many) for every possible resolution of instantiated method templates

#65 jurgenvinju closed 1 year ago
0
Documentation for the M3 Model

#64 linuswagner opened 1 year ago
2
fix incompatible types of the return value of closeOverriddenVirtualCalls()

#63 ruichen-ing closed 1 year ago
1
Working with the return of decltype

#62 linuswagner closed 11 months ago
2
make paths with spaces correctly processed by pretty()

#61 ruichen-ing closed 1 year ago
1
Add static_assert with single argument

#60 linuswagner closed 1 year ago
1
static_assert is only included with two arguments

#59 linuswagner closed 1 year ago
2
M3 fix

#58 linuswagner closed 1 year ago
1
Merge the standardized macro branch

#57 linuswagner closed 1 year ago
1
Clair can't parse the overloading for the operator ()

#56 ruichen-ing closed 1 year ago
4
m3.requires is already transitively closed

#55 jurgenvinju closed 1 year ago
0
m3.declarations is incomplete

#54 jurgenvinju closed 1 year ago
1
m3.methodInvocations is missing the constructor calls generated by `new` expressions

#53 jurgenvinju closed 1 year ago
6
Run regression tests via `mvn test`

#52 jurgenvinju closed 1 year ago
0
M3.declarations points parameters and classes to the same class name if the type of the parameter happens to be of that class type

#51 jurgenvinju closed 1 year ago
3
Problem types `object.toString()'s` end up in URIs; don't know what to do about this.

#50 jurgenvinju opened 1 year ago
1
`M3.problems` does not contain the error messages of the compiler yet

#49 jurgenvinju opened 1 year ago
0
Declarations of class in M3.declarations lead to all usages as well.

#48 jurgenvinju closed 1 year ago
5
parameterized the standard macros so that people can override them when needed

#47 jurgenvinju closed 1 year ago
0
Can't mix different kinds of loc in createM3FromCppFile

#46 matteasu opened 1 year ago
0
added origin tracking from AST source code position via intermediate analyses to failing type resolution, and lots of curly brackets

#45 jurgenvinju closed 1 year ago
1