Improvements around parsing/logging security lattice
commitffb8dba8e0ee44aefa567011ef2fec2795344b59
authorMistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com>
Wed, 29 Jul 2020 12:45:02 +0000 (29 05:45 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 29 Jul 2020 13:23:26 +0000 (29 06:23 -0700)
tree6842952c44e859c722641cca2d9c235c56c72d1e
parentcff51ccd4273a0b9c7e933ebf3e6719a84294ecb
Improvements around parsing/logging security lattice

Summary:
- Make sure the input is upcased before parsing purpose
- Log the security lattice when running verbosely

Reviewed By: zilberstein

Differential Revision: D22791093

fbshipit-source-id: cd532b2934699ed20a3171c049652d5a01462acb
18 files changed:
hphp/hack/src/ifc/ifc.ml
hphp/hack/src/ifc/ifc_pretty.ml
hphp/hack/src/ifc/ifc_security_lattice.ml
hphp/hack/test/ifc/analysis/basics.php.exp
hphp/hack/test/ifc/analysis/calls_basics.php.exp
hphp/hack/test/ifc/analysis/catch.php.exp
hphp/hack/test/ifc/analysis/early_return.php.exp
hphp/hack/test/ifc/analysis/exceptions.php.exp
hphp/hack/test/ifc/analysis/generic.php.exp
hphp/hack/test/ifc/analysis/generic_inheritance.php.exp
hphp/hack/test/ifc/analysis/inheritance.php.exp
hphp/hack/test/ifc/analysis/inheritance2.php.exp
hphp/hack/test/ifc/analysis/new.php.exp
hphp/hack/test/ifc/analysis/property.php.exp
hphp/hack/test/ifc/analysis/purpose.php.exp
hphp/hack/test/ifc/analysis/recursive_class.php.exp
hphp/hack/test/ifc/analysis/unpolicied_fields.php.exp
hphp/hack/test/ifc/analysis/vec.php.exp