8000 Commits · sansky99/infer · GitHub

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

Commits

Commits on Sep 2, 2016

setup e2e test skeleton

sblackshear
authored and
Facebook Github Bot 2
committed
logging errors

sblackshear
authored and
Facebook Github Bot 0
committed
command-line setup

sblackshear
authored and
Facebook Github Bot 8
committed

Commits on Aug 26, 2016

killing a bunch of options by using optional argument types correctly

sblackshear
authored and
Facebook Github Bot 6
committed
fix needless type extension

sblackshear
authored and
Facebook Github Bot 2
committed

Commits on Aug 25, 2016

separate pretty-printer for pp_kind

sblackshear
authored and
Facebook Github Bot 2
committed

Commits on Aug 24, 2016

setup for creating very simple absint checkers

sblackshear
authored and
Facebook Github Bot 1
committed
make @OnBind an alias for @NoAllocation

sblackshear
authored and
Facebook Github Bot 7
committed
adding tests for context leaks via weak reference

sblackshear
authored and
Facebook Github Bot 7
committed

Commits on Aug 23, 2016

java traces

sblackshear
authored and
Facebook Github Bot
committed

Commits on Aug 21, 2016

handle casts

sblackshear
authored and
Facebook Github Bot 0
committed

Commits on Aug 20, 2016

track sinks

sblackshear
authored and
Facebook Github Bot 1
committed
propagate tainted sources

sblackshear
authored and
Facebook Github Bot 7
committed

Commits on Aug 18, 2016

intraprocedural taint analysis that records sources

sblackshear
authored and
Facebook Github Bot 8
committed
adding missing functionality to analyzerTester

sblackshear
authored and
Facebook Github Bot 7
committed
taint domain

sblackshear
authored and
Facebook Github Bot 5
committed
mapping of ids to raw access path

sblackshear
authored and
Facebook Github Bot 1
committed

Commits on Aug 16, 2016

functor for creating trace domain

sblackshear
authored and
Facebook Github Bot 2
committed

Commits on Aug 15, 2016

killing is_bottom

sblackshear
authored and
Facebook Github Bot 9
committed
abstracting passthroughs more aggressively

sblackshear
authored and
Facebook Github Bot 0
committed

Commits on Aug 11, 2016

functor for creating traces from source and sink specs

sblackshear
authored and
Facebook Github Bot 9
committed
trace building blocks: sources and sinks

sblackshear
authored and
Facebook Github Bot 2
committed

Commits on Aug 10, 2016

adding accessTree.fold

sblackshear
authored and
Facebook Github Bot
committed

Commits on Aug 5, 2016

making get_reachable_hpreds understand inductive predicates

sblackshear
authored and
Facebook Github Bot 1
committed

Commits on Jul 29, 2016

fixing some of the issues with passing classpath in a file

sblackshear
authored and
Facebook Github Bot 3
committed

Commits on Jul 28, 2016

extract callsite to its own module

sblackshear
authored and
Facebook Github Bot 2
committed
delete unused class-to-source mapper processor

sblackshear
authored and
Facebook Github Bot 2
committed

Commits on Jul 27, 2016

fix recognition of inner class this guarded-by strings

sblackshear
authored and
Facebook Github Bot 4
committed

Commits on Jul 26, 2016

generalizing `add_trace` to `add_node`

sblackshear
authored and
Facebook Github Bot 7
committed
generalizing get_trace to get_node

sblackshear
authored and
Facebook Github Bot 9
committed
don't warn in cases where GuardedBy string is clearly unrecognizable

sblackshear
authored and
Facebook Github Bot 3
committed
widen for access trees

sblackshear
authored and
Facebook Github Bot 8
committed

Commits on Jul 25, 2016

create access paths from expressions

sblackshear
authored and
Facebook Github Bot 1
committed

Commits on Jul 20, 2016

factoring out some utility methods for testing access-based stuff

sblackshear
authored and
Facebook Github Bot
committed

Commits on Jul 19, 2016

allowing custom procname in analyzerTester

sblackshear
authored and
Facebook Github Bot 7
committed

0