8000 Commits · MacOS/infer · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Nov 13, 2024

[infer] Disable erlang otp pulse and rebar3 tests to avoid crashing and timing out on Sandcastle

geralt-encore
authored and
facebook-github-bot
committed

Commits on Nov 7, 2024

[hack][builder pattern] Configure immediately discardable builder and handle the accordingly

geralt-encore
authored and
facebook-github-bot
committed

Commits on Nov 6, 2024

[hack][builder pattern] Migrate builder pattern config to yojson ppx deriving

geralt-encore
authored and
facebook-github-bot
committed

Commits on Nov 4, 2024

Commits on Nov 1, 2024

[hack][builder pattern] Add FP test case with not finalised builder that doesn't have any method calls

geralt-encore
authored and
facebook-github-bot
committed

Commits on Oct 24, 2024

[scope leakage] Introduce new scope generator based on class name suffix, methods and parameter types

geralt-encore
authored and
facebook-github-bot
committed

Commits on Oct 14, 2024

[MSDK] Update hackc component on INFER:master

geralt-encore
authored and
facebook-github-bot
committed

Commits on Oct 2, 2024

[scope leakage] Allow specifying generators by their return type only on top of exisitng class name and methods pair

geralt-encore
authored and
facebook-github-bot
committed

Commits on Oct 1, 2024

Commits on Sep 23, 2024

[scopeleakage] Simplify config parsing

geralt-encore
authored and
facebook-github-bot
committed

Commits on Sep 6, 2024

[pulse] Add option to log unknown calls based on specified sample rate

geralt-encore
authored and
facebook-github-bot
committed
[taint] Class regex + return method type taint matcher combination

geralt-encore
authored and
facebook-github-bot
committed

Commits on Sep 4, 2024

[hack] Move some models logging to debug only to avoid log spew

geralt-encore
authored and
facebook-github-bot
committed
[taint] Follow field accesses based on a config option

geralt-encore
authored and
facebook-github-bot
committed
[taint] Remove option to check value histories for taint events since it is always enabled

geralt-encore
authored and
facebook-github-bot
committed

Commits on Aug 27, 2024

[impurity] Ignore modifications coming from _86constinit

geralt-encore
authored and
facebook-github-bot
committed

Commits on Aug 9, 2024

[impurity] Ignore modifications by hack sinit procedures

geralt-encore
authored and
facebook-github-bot
committed
[impurity] Rework basic tests to not use vecs (take 2)

geralt-encore
authored and
facebook-github-bot
committed

Commits on Aug 8, 2024

[MSDK] Update hackc component on INFER:master

geralt-encore
authored and
facebook-github-bot
committed

Commits on Aug 7, 2024

[taint] Take potential dynamic issue type into account when checking if issue type is censored

geralt-encore
authored and
facebook-github-bot
committed

Commits on Aug 6, 2024

[impurity] Rework basic tests to not use vectors

geralt-encore
authored and
facebook-github-bot
committed
[MSDK] Update hackc component on INFER:master

geralt-encore
authored and
facebook-github-bot
committed

Commits on Aug 1, 2024

Commits on Jul 30, 2024

[taint] Fix mixed up issue type and category overrides

geralt-encore
authored and
facebook-github-bot
committed
[impurity] Do not consider unknown functions as impure by default for Hack

geralt-encore
authored and
facebook-github-bot
committed
[impurity] Do not report on Hack xinit procedures

geralt-encore
authored and
facebook-github-bot
committed

Commits on Jul 29, 2024

Commits on Jul 25, 2024

[impurity] Add basic hack impurity tests

geralt-encore
authored and
facebook-github-bot
committed
[hack] Move configuration to hack test's .inferconfig

geralt-encore
authored and
facebook-github-bot
committed

0