Pyre-Check - Performant Type-Checking For Python

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code.
Pyre ships with Pysa, a security focused static analysis tool we've built on top of Pyre that reasons about data flows in Python applications. Please refer to our documentation to get started with our security analysis.

Requirements
To get started, you need Python 3.6 or later and watchman working on your system. On MacOS you can get everything with homebrew:

$ brew install python3 watchman

On Ubuntu, Mint, or Debian; use apt-get:

$ sudo apt-get install python3 python3-pip watchman

We tested Pyre on Ubuntu 16.04 LTS, CentOS 7, as well as OSX 10.11 and later.

Setting up a Project
We start by creating an empty project directory and setting up a virtual environment:

$ mkdir my_project && cd my_project
$ python3 -m venv ~/.venvs/venv
$ source ~/.venvs/venv/bin/activate
(venv) $ pip install pyre-check

Next, we teach Pyre about our new project:

(venv) $ pyre init

This command will set up a configuration for Pyre (.pyre_configuration) as well as watchman (.watchmanconfig) in your project's directory. Accept the defaults for now – you can change them later if necessary.

Running Pyre
We are now ready to run Pyre:

(venv) $ echo "i: int = 'string'" > test.py
(venv) $ pyre
 Æ› Found 1 type error!
test.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.

This first invocation will start a daemon listening for filesystem changes – type checking your project incrementally as you make edits to the code. You will notice that subsequent invocations of pyre will be faster than the first one.
For more detailed documentation, see https://pyre-check.org.

Download Pyre-Check

via KitPloit

This article is the property of Tenochtitlan Offensive Security. Verlo Completo --> https://tenochtitlan-sec.blogspot.com

More articles

1. Hacker Tools Online
2. Pentest Tools Review
3. Blackhat Hacker Tools
4. Hacking Tools Usb
5. Hack Tools For Ubuntu
6. Top Pentest Tools
7. Hacker Security Tools
8. Pentest Tools List
9. Hacker Tools Github
10. Hackers Toolbox
11. Pentest Tools For Ubuntu
12. New Hacker Tools
13. Hack Tools Github
14. Hacker Tools Apk Download
15. Beginner Hacker Tools
16. Tools 4 Hack
17. Pentest Tools Find Subdomains
18. Pentest Tools Website
19. Hacking Tools Download
20. Hacking Tools Kit
21. Hacking Tools For Windows Free Download
22. Physical Pentest Tools
23. Pentest Tools Linux
24. Pentest Tools For Mac
25. Hacking Tools Download
26. Hacker
27. Nsa Hack Tools
28. What Are Hacking Tools
29. Hackrf Tools
30. Hacker
31. Hacking Tools 2020
32. Hacking Tools For Windows
33. Best Pentesting Tools 2018
34. Hacker Techniques Tools And Incident Handling
35. Hacking Tools For Kali Linux
36. Ethical Hacker Tools
37. Top Pentest Tools
38. Nsa Hack Tools
39. Hack Tools
40. Black Hat Hacker Tools
41. Pentest Tools For Ubuntu
42. Hacker Tools List
43. Pentest Tools Website Vulnerability
44. Hacker Techniques Tools And Incident Handling
45. Hacker Techniques Tools And Incident Handling
46. Pentest Tools Alternative
47. Hacking Apps
48. Hacking Tools Github
49. Pentest Tools Open Source
50. Hacking Tools Download
51. Hack Tools
52. Hacking Tools For Kali Linux