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. Hacking Tools Pc
2. Hacker Tools For Mac
3. Pentest Tools For Android
4. Pentest Tools List
5. World No 1 Hacker Software
6. Pentest Tools For Android
7. Hacking Tools Windows 10
8. Hack Tools Download
9. Hackers Toolbox
10. Hacking Tools For Windows 7
11. Hacker Techniques Tools And Incident Handling
12. Hacking Tools For Windows
13. Hacker Tools For Mac
14. Nsa Hack Tools Download
15. Hack Tools For Windows
16. Hacking Tools Kit
17. Blackhat Hacker Tools
18. Easy Hack Tools
19. Pentest Tools Windows
20. Hacker Search Tools
21. Hacking Tools 2019
22. Pentest Tools For Ubuntu
23. Hack Tools For Games
24. Hack Website Online Tool
25. Hak5 Tools
26. World No 1 Hacker Software
27. Hack Tools Download
28. Hack Apps
29. Pentest Tools Windows
30. Easy Hack Tools
31. Best Pentesting Tools 2018
32. Hack Tools Download
33. Hacking Tools
34. Pentest Tools For Ubuntu
35. Hacking Apps
36. Free Pentest Tools For Windows
37. Pentest Tools For Android
38. Pentest Tools Free
39. Hacking Tools For Beginners
40. Underground Hacker Sites
41. Hacking Apps
42. Hack Tools Github
43. Beginner Hacker Tools
44. Hacking Tools Kit
45. Hacking Tools Windows 10
46. Hack Rom Tools
47. Pentest Tools Open Source
48. Hacking Tools Pc
49. Hacker Tools Windows
50. Hacker Tools For Ios
51. Hacker Tools Linux
52. New Hacker Tools
53. Pentest Box Tools Download
54. Hacker Tools
55. World No 1 Hacker Software
56. Free Pentest Tools For Windows
57. Hack Tools For Ubuntu
58. Hacking Tools Kit
59. Pentest Tools Linux
60. Physical Pentest Tools
61. Hacker Tools For Ios
62. Easy Hack Tools
63. Pentest Tools Find Subdomains
64. Hack Tools Online
65. Hacker Tools Free
66. Hack Tools For Games
67. New Hacker Tools
68. Bluetooth Hacking Tools Kali
69. Pentest Tools Review
70. Hacker Tools Online
71. Hacking Tools Download
72. Pentest Tools Download
73. Best Hacking Tools 2020
74. Hacking Tools Free Download
75. Usb Pentest Tools
76. Hacking Tools Software
77. Hacking Tools Software
78. Hack Tools For Mac
79. Pentest Tools Website
80. Pentest Tools Tcp Port Scanner
81. Hacking Tools Mac
82. Pentest Reporting Tools
83. Best Hacking Tools 2020
84. Hacker Tools
85. Pentest Tools Tcp Port Scanner
86. Hacking Apps
87. Hacker Tools Free Download
88. Hack Apps
89. Pentest Tools Open Source
90. Hacker Hardware Tools
91. World No 1 Hacker Software
92. Hacking Tools Name
93. Hacking Tools For Windows 7
94. Hacking Tools For Kali Linux
95. Tools For Hacker
96. Nsa Hacker Tools
97. Hacking Tools And Software
98. Pentest Tools Website Vulnerability
99. How To Make Hacking Tools
100. Pentest Recon Tools
101. Hack Tool Apk
102. Hack Tool Apk
103. What Are Hacking Tools
104. Hacker Tools
105. Hacking Tools Mac
106. Black Hat Hacker Tools
107. Hacking Tools Download
108. Hacker Tool Kit
109. Hacking Tools Windows
110. Hacking Tools For Games
111. Hackrf Tools
112. Pentest Tools For Mac
113. Pentest Tools Apk
114. Wifi Hacker Tools For Windows
115. Hacker
116. Hack Rom Tools
117. Growth Hacker Tools
118. Hacking Tools For Mac
119. How To Install Pentest Tools In Ubuntu
120. How To Hack
121. Beginner Hacker Tools
122. Hacker Tools Github
123. Hacking Tools For Windows Free Download
124. Pentest Tools Bluekeep
125. Hacker Tools Software
126. Hack Tools Download
127. Pentest Tools Download
128. Hack Tools For Mac
129. Hack App
130. Pentest Tools
131. Pentest Tools For Windows
132. Hacking Tools Name
133. Hacker Tools Free Download