Skip to content

Tags: wgtdkp/infer

Tags

v0.15.0

[release] preparing for binary releases

Summary:
Change the documentation to refer to (upcoming) binary releases. Update the
scripts to treat .release differently: now we want to build clang and the
plugins even in release mode, as that's just the preparation for the release
tarball containing only binaries.

Reviewed By: mbouaziz

Differential Revision: D8235388

fbshipit-source-id: bfb4ae8

v0.14.0

[cost] Removed dead abstract domains

Reviewed By: ddino

Differential Revision: D7781539

fbshipit-source-id: 28fef76

v0.13.1

bump version 0.13.1

v0.13.0

[cleanup] alphabetize checker names

Reviewed By: jvillard

Differential Revision: D6099204

fbshipit-source-id: aa8b1ff

v0.12.1

[opam] fix breakage

v0.12.0

[build] taking the .mli into account actually broke the build

Summary: oops_house

Reviewed By: mbouaziz

Differential Revision: D5070159

fbshipit-source-id: ba9232e

v0.11.0

[CLOpt] replace uses of Str with Core.String

Summary:
Running `infer --help` with spacetime showed that `Str` was a hog. And indeed perf is 74% better now:

```
before:
bash -c 'for i in $(seq 100); do infer --help > /dev/null 2>/dev/null; done'  28.02s user 0.62s system 98% cpu 29.205 total
after:
bash -c 'for i in $(seq 100); do infer --help > /dev/null 2>/dev/null; done'  6.34s user 0.64s system 92% cpu 7.557 total
```

Running on many files one after the other is now 64% faster too:
```
$ cd infer/tests/codetoanalyze/c/errors
$ # before
$ rm -fr infer-out && time bash -c 'for src in */*.c; do infer -a capture --continue -- clang -c $src; done'
bash -c   7.77s user 0.66s system 97% cpu 8.647 total
$ # after
$ rm -fr infer-out && time bash -c 'for src in */*.c; do infer -a capture --continue -- clang -c $src; done'
bash -c   2.35s user 0.56s system 93% cpu 3.119 total
$ time infer -a capture -- clang -c */*.c
infer -a capture -- clang -c */*.c  0.54s user 0.20s system 99% cpu 0.737 total
```

Reviewed By: mbouaziz

Differential Revision: D4875803

fbshipit-source-id: cfcfa69

v0.10.0

[clang] Update fcp plugin

Reviewed By: dulmarod

Differential Revision: D4591101

fbshipit-source-id: babcaea

v0.9.5

bump version to 0.9.5

v0.9.4.1

[Make install] install InferClang++ in the right way

Summary: `make install` was creating symbolic link with absolute path of `InferClang`. Fix it

Reviewed By: martinoluca, dulmarod

Differential Revision: D4220519

fbshipit-source-id: 166714b