infer_clone

Commit Graph

Author	SHA1	Message	Date
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

Author

SHA1

Message

Date

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

1 Commits (d298eb1bada97c91db83e70d9751940dcb339f30)