The Python Static Analyzer (pysa) is a feature of Meta's Pyre type checker to find potential security issues.
Questions tagged [pysa]
4 questions
16
votes
4 answers
how to ignore specific error in pyre-check python package for the whole project
I am using pyre-checking for static type testing, I want to ignore specific error from my project.
For example: Undefined attribute [16]: Module google.protobuf.struct_pb2 has no attribute _STRUCT.
Suppose if I want to ignore this error from my…
chethankumar MV
- 337
- 4
- 10
1
vote
2 answers
Unknown AnalysisClassHierarchy.Untracked(_) exception occurs at pyre analyze
Urgently trying to find a fix for an unidentified and undocumented error.
Running pysa analysis and getting this:
ƛ Uncaught exception:
ƛ
ƛ AnalysisClassHierarchy.Untracked(_)
ƛ
ƛ Raised at file "string.ml", line 115, characters 19-34
ƛ Called…
stax
- 11
- 3
1
vote
2 answers
Are pysa users expected to copy configuration files?
Facebook's Pysa tool looks useful, in the Pysa tutorial exercises they refer to files that are provided in the pyre-check repository using a relative path to include a path outside of the exercise…
Stephen Paulger
- 5,204
- 3
- 28
- 46
0
votes
1 answer
Pyre Check: verification error - `eval` is not part of the environment, no module `eval` in search path
I'm trying to set up Pyre Check Pysa just as described in the official tutorial: https://github.com/facebook/pyre-check/tree/main/documentation/pysa_tutorial/exercise2
When running pyre analyze I get the following errors:
ƛ Found 2 model…
Florian T
- 103
- 2
- 8