319463b3bc
[quandary] propagating taint from unknown procedures and constructors
...
Summary:
Right now, taint gets lost if it flows into a constructor or procedure whose implementation is missing.
Since the core Java (e.g., String) and Android classes (e.g, Intent) are among these, this is bad.
We could handle this by writing a bunch of models instead, but that would be a lot of work (plus we may still miss cases).
Reviewed By: jvillard
Differential Revision: D4051591
fbshipit-source-id: 65851c8
8 years ago
512de69e13
[quandary] handle dynamic dispatch
...
Reviewed By: jeremydubreil
Differential Revision: D3997701
fbshipit-source-id: 085bc16
8 years ago
6697ed781f
[tests] Rerun test without swallowing output on failure
...
Reviewed By: jvillard
Differential Revision: D3992995
fbshipit-source-id: 85d2586
8 years ago
5e2e7b88aa
[quandary] allow trace-specific rules for handling unknown code
...
Reviewed By: jeremydubreil
Differential Revision: D3962285
fbshipit-source-id: b14f3d2
8 years ago
af9f34bb60
[quandary] checking for flows from Intents parsed via Uris -> startActivity (and similar)
...
Reviewed By: mburman
Differential Revision: D3905877
fbshipit-source-id: 03fe2f6
8 years ago
fbfece20af
[quandary] using exceptional procCFG to explore exceptional control-flow
...
Reviewed By: dkgi
Differential Revision: D3871621
fbshipit-source-id: e76a274
8 years ago
ae759ee21f
[quandary] fixing crashes when running on recursive code
...
Reviewed By: cristianoc
Differential Revision: D3888004
fbshipit-source-id: d432496
8 years ago
e4beca3779
[quandary] using summaries part 1: return
...
Reviewed By: jeremydubreil
Differential Revision: D3857310
fbshipit-source-id: 29c5994
8 years ago
bcacd95176
tests for arrays
...
Reviewed By: jeremydubreil
Differential Revision: D3826552
fbshipit-source-id: 3b98b76
8 years ago
6ca990be8c
adding tests for manipulating fields
...
Reviewed By: cristianoc
Differential Revision: D3824276
fbshipit-source-id: c412f17
8 years ago
f2487513c5
adding tests for basic var stuff, casts
...
Reviewed By: jberdine
Differential Revision: D3811191
fbshipit-source-id: 9d967f2
8 years ago
3ff6622c9c
setup e2e test skeleton
...
Reviewed By: cristianoc
Differential Revision: D3806745
fbshipit-source-id: c73e5cb
8 years ago
Sam Blackshear
Josh Berdine