Results 47 issues of Gábor Horváth

Some of the rules cover a wide range of errors each of which might have a different enforcement in the static analysis tool that is checking for guideline violations. One...

I wanted to create a mapping from template parameters to Var with a `Forall` type, but I encountered some difficulties. * What should be the target type for Forall? *...

Consider the following code: ```c++ struct X; struct X { void m(); }; ``` It will produce the following IPR: ``` Namespace 'namespace ' |-Typedecl 'class' X \-Typedecl 'class' X...

Should IPR represent the lifetime extension of temporaries or will the client need to compute it? Computing this information is not always trivial, as a reference can keep alive objects...

I think this project would benefit a lot from unit tests. Using a framework like GTest or Catch2 could help with this task, but one crucial question before writing any...

As far as I understand, if two values have the same value number, they are guaranteed to be the same at runtime. As a result, for operator `eq`, if both...

CSA just gained the ability to output SARIF: https://github.com/llvm-mirror/clang/commit/962c092aae53360ab4d5b1adac78963694b5963f#diff-e47bf599aad9618f970aa41d0f09bf4f Do we want to support this for interop with other tools? (Or prefer over plist at some point?) Even if we...

enhancement :star2:
discussion :bulb:
analyzer :chart_with_upwards_trend:

Citra version: 7966294b6 Citra log: https://www.dropbox.com/s/35zxi63ovc2rds7/citra_log.txt?dl=0 Device: Samsung Galaxy S10e SD855 The game will crash time to time. It is not deterministic, I have no idea how to reproduce.

`getDevirtualizedMethod` can get the devirtualized method in some simple cases. Even if it is far from perfect and not doing all the devirtualization that the backend can do, it would...

Kind: Enhancement :star2:
Plugin: C++

It would be nice to have binaries for arm64 windows.