infer

infer copied to clipboard

Java Support Issue

1

Please make sure your issue is not addressed in the [FAQ](https://fbinfer.com/docs/support#troubleshooting). Please include the following information: - [X] The version of infer from `infer --version`. -> v1.1.0 - [X] Your...

mywnajsldkf

We want to use infer to run with the RISC-V clang tools, does this support?

tonyho

Incremental build support for json-based frontend

13

Hi! In this PR we add incremental build support for json-based frontend. All we need is provide a list of changed files in a txt file and feed in through...

xi-liu-ds

stddef.h: No such file or directory

1

Please make sure your issue is not addressed in the [FAQ](https://fbinfer.com/docs/support#troubleshooting). Please include the following information: - [ ] The version of infer from `infer --version`. - [ ] Your...

Kamlesh2112

JsonReports.ml: fix --report-force-relative-path being ignored

2

This commit fixes an issue originally found through AdaCore's Ada frontend for infer, but which is actually present for other frontends too. The issue is that infer will sometimes emit...

glacambre

Handle static closure calls

4

This PR aims at handling static closure calls like regular static function calls. For instance, this allows for static closure calls to be present in the syntactic callgraph (which would...

MaelCravero

Building infer on Red Hat 7 / CentOS 7

2

Unfortunately, I have to get infer working on RedHat 7. I was able to build it pretty easily on RedHat 8, but 7 is giving me real fits. The problem...

leek2

Bumps [terser](https://github.com/terser/terser) from 5.10.0 to 5.14.2. Changelog Sourced from terser's changelog. v5.14.2 Security fix for RegExps that should not be evaluated (regexp DDOS) Source maps improvements (#1211) Performance improvements in...

dependabot[bot]

Please make sure your issue is not addressed in the [FAQ](https://fbinfer.com/docs/support#troubleshooting). - The version of infer from `infer --version` is Infer version v1.1.0-9d9a3a42b. - Your operating system and version is...

Butter934

PulseTaintOperations Causing Analysis Crash

2

Hello -- it seems that modifications made during April 2022 to PulseTaintOperations seem to be causing the analysis to crash in certain scenarios. Below is the stack trace. I did...

matjin