6 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Gabriela Cunha Sampaio	68b4b5cc27	[pulse] IsInstanceOf simplification for null obj ... Summary: Fixing `IsInstanceOf` term simplification for null case. Before, this was only being done if value was known to be null at the moment of the call to `instanceof`. Otherwise, the `IsInstanceOf` term would remain in the formula unnecessarily. Reviewed By: jvillard Differential Revision: D27361025 fbshipit-source-id: 2d958a757	4 years ago
Gabriela Cunha Sampaio	e739099a40	[pulse] Model for Java instanceof ... Summary: Adding support for the Java instanceof operator in Pulse. Reviewed By: jvillard Differential Revision: D26275046 fbshipit-source-id: 8ba608cca	4 years ago
Gabriela Cunha Sampaio	671727be53	[pulse] Implementing temporary model for Java instanceof operator ... Summary: Providing model for Java `instanceof` operator that avoids to return true when given object is null. This is a temporary solution that will reduce FPs while we do not provide the correct semantics for `instanceof`. Reviewed By: jvillard Differential Revision: D26608043 fbshipit-source-id: 87c82b906	5 years ago
Gabriela Cunha Sampaio	54c3dafef8	[pulse] Modeling Java instanceof operator as returning true ... Summary: Modeling Java instanceof operator in Pulse. This implementation does not yet provide the proper semantics for instanceof. For now, it will always return true. This is temporary and should reduce the false positive rate. Reviewed By: da319 Differential Revision: D26317089 fbshipit-source-id: 494e3dec5	5 years ago