search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.93k stars 2.01k forks source link

Is there Infer v1.2, v1.3 milestone release plan, thanks #1743

Open SolomonSun2010 opened 1 year ago

SolomonSun2010 commented 1 year ago

And we expect to release Infer for Windows x64, more conveint to educate students. thanks.

SolomonSun2010 commented 1 year ago

@jvillard @ezgicicek , excuse me, would you please give some timeline message ? The v1.1 is released 2 years long ago .

jiangxincode commented 1 year ago

I want the function of sarif output format, this function has been merge by https://github.com/facebook/infer/pull/1487 please release a new version.

H-G-Hristov commented 1 year ago

Can I use it with modern Clang 16+/ C++23, Xcode 14.3, etc?

TomMD commented 1 year ago

@SolomonSun2010 It isn't the same as having an official release, but I've started making monthly builds in Ubuntu-based docker images and uploading them to ghcr. Students could docker run the container locally or do something like what I did for librdkafka to get sarif in github PRs.

TomMD commented 1 year ago

@H-G-Hristov I just built infer from master and the clang version it builds is 16:

# ./clang --version
clang version 16.0.0 (https://github.com/facebook/infer/ bfb791314220d3c5db8e56d0c448287ecd01be32)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /infer/lib/infer/facebook-clang-plugins/clang/install/bin/.
jiangxincode commented 8 months ago

I forked this repo, and will sync and release the daily verison. https://github.com/jiangxincode/infer So some CI can use the newest version. How to use infer in CI may ref: https://github.com/jiangxincode/ApkToolBoxGUI/actions/workflows/InferReport.yml