From a8a73794234e99c15236ddd9ad638f7e1b8fac34 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 26 Mar 2021 08:25:03 -0700 Subject: [PATCH] update changelog Summary: A draft version mentioning 1.1.0 was pushed to master by mistake. It's ready now! Reviewed By: martintrojer Differential Revision: D27293733 fbshipit-source-id: b3c97736f --- Changelog.md | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/Changelog.md b/Changelog.md index 8302c4dbe..c787fa2c0 100644 --- a/Changelog.md +++ b/Changelog.md @@ -2,7 +2,7 @@ ### Frontends -- New [JSON input format for SIL](https://github.com/facebook/infer/pull/1361), which is part of [Infer#](https://github.com/microsoft/infersharp) +- New [JSON input format for SIL](https://github.com/facebook/infer/pull/1361). This new format was contributed from [Infer#](https://github.com/microsoft/infersharp), whose C# frontend for Infer [emits SIL as JSON using this format](https://github.com/microsoft/infersharp/wiki/InferSharp:-A-Scalable-Code-Analytics-Tool-for-.NET). ### Build System Integrations @@ -10,14 +10,13 @@ ### Checkers -- Liveness (dead stores): properly handle exceptional control flow -- Pulse: +- [Liveness](https://fbinfer.com/docs/checker-liveness/): properly handle exceptional control flow +- [Pulse](https://fbinfer.com/docs/checker-pulse/): - Added preliminary Java support - - New [Uninitialized value bug type](https://fbinfer.com/docs/next/all-issue-types/#pulse_uninitialized_value), aiming to replace the previous [Uninit](https://fbinfer.com/docs/checker-uninit/) checker as this one is inter-procedural and more precise. - - [OPTIONAL_EMPTY_ACCESS](https://fbinfer.com/docs/next/all-issue-types/#optional_empty_access) is now enabled by default -- TOPL(early alpha): An experimental checker framework: write your own analysis as a state machine that can track the state of multiple memory objects at once. See XXX -- Misc. improvements to cost, inferbo, nullsafe, racerd, starvation - + - New [Uninitialized value bug type](https://fbinfer.com/docs/all-issue-types/#pulse_uninitialized_value), aiming to replace the previous [Uninit](https://fbinfer.com/docs/checker-uninit/) checker as this one is inter-procedural and more precise. + - [OPTIONAL_EMPTY_ACCESS](https://fbinfer.com/docs/all-issue-types/#optional_empty_access) is now enabled by default +- **NEW checker** [Topl](https://fbinfer.com/docs/checker-topl/)(early alpha): An experimental checker framework: write your own analysis as a state machine representing a temporal property over multiple memory objects at once, eg to write a taint analysis. Topl is based on Pulse. +- Miscellaneous improvements to cost, inferbo, nullsafe, racerd, starvation ## Version 1.0.0