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

Related news

1. Hacker Tools Free Download
2. Hack Tool Apk
3. Pentest Tools Windows
4. Hacker Tool Kit
5. Hacker Search Tools
6. Hacking Tools 2019
7. Hacking Tools Software
8. World No 1 Hacker Software
9. Hack Tools For Pc
10. Pentest Tools Tcp Port Scanner
11. Pentest Tools Website
12. Tools 4 Hack
13. Usb Pentest Tools
14. Hacker Tools 2020
15. Hak5 Tools
16. Hack Tools For Mac
17. Hacker Tools Github
18. Hacking Tools Free Download
19. Best Pentesting Tools 2018
20. Hack Tools Pc
21. Hak5 Tools
22. Pentest Tools Free
23. Hacking Tools Mac
24. Nsa Hacker Tools
25. What Are Hacking Tools
26. Hacking Tools For Beginners
27. Hacking Tools For Beginners
28. Hacker Tools Apk Download
29. Best Hacking Tools 2019
30. Underground Hacker Sites
31. Hacker
32. Hacking Apps
33. Kik Hack Tools
34. Pentest Recon Tools
35. Pentest Tools Free
36. Hack Tools Online
37. Hack And Tools
38. Growth Hacker Tools
39. How To Hack
40. Hack Apps
41. Hacker Tools For Pc
42. Pentest Tools Android
43. Pentest Tools Alternative
44. Hak5 Tools
45. Computer Hacker
46. Pentest Tools Framework
47. What Are Hacking Tools
48. Hacking Tools Software
49. Install Pentest Tools Ubuntu
50. Hacking Tools Online
51. Hacking Tools Pc
52. Hack Tools Online
53. Hacker Tools For Mac
54. Hacker Security Tools
55. Hacker Tools Windows
56. Hacker Tools Free Download
57. Hacker Tools For Pc
58. Hacker Hardware Tools
59. Hacking Tools
60. Hacking Tools Windows
61. Hacking Apps
62. Hacking Tools Free Download
63. Pentest Tools Alternative
64. Hackrf Tools
65. Hacker Tools For Pc
66. Hack Rom Tools
67. Tools Used For Hacking
68. Pentest Tools Url Fuzzer
69. Hacker Tools Windows
70. Physical Pentest Tools
71. Hacking Tools For Kali Linux
72. Bluetooth Hacking Tools Kali
73. Pentest Tools Windows
74. Hacking Tools Kit
75. Hack Tools
76. Pentest Tools Android
77. Hack And Tools
78. Hacker Tools For Ios
79. Hacking Tools Mac
80. Hacker
81. Pentest Tools Port Scanner
82. Hacking Tools Free Download
83. Underground Hacker Sites
84. Free Pentest Tools For Windows
85. Hacker Techniques Tools And Incident Handling
86. Hak5 Tools
87. Hack App
88. Tools 4 Hack
89. Hack Tools Online
90. Hacker Tools Online
91. Pentest Tools Free
92. Pentest Reporting Tools
93. Hacking Tools For Kali Linux
94. Hack Tools
95. Hacking Tools For Mac
96. Hackrf Tools
97. Hacking Tools For Beginners
98. Hack Tools Pc
99. New Hack Tools
100. Nsa Hacker Tools
101. Hacker Search Tools
102. Hacking Tools Pc
103. Pentest Tools Online
104. Pentest Automation Tools
105. Tools 4 Hack
106. Hacker Tools Apk
107. Easy Hack Tools
108. Pentest Reporting Tools
109. Hacking Tools And Software
110. Pentest Tools Nmap
111. Pentest Tools For Ubuntu
112. Hack App
113. Hacking App
114. Hacker Tools For Mac
115. Hacker Tools Hardware
116. Pentest Tools Windows
117. Hacker Tools Windows
118. World No 1 Hacker Software
119. Hacker Tools Hardware
120. Hacker Tools Hardware
121. Hacker Tools Windows
122. Computer Hacker
123. Hack Tools For Games
124. Hack Tool Apk No Root
125. Pentest Tools Kali Linux
126. Hacking Tools
127. Hacker Tools Linux
128. Pentest Tools Port Scanner
129. Hack Tools Download
130. Pentest Tools Android
131. Pentest Tools Find Subdomains
132. Hack Website Online Tool
133. Hacking Tools Usb
134. Hack Tools
135. Hacking Tools For Windows
136. Hacking Tools For Windows Free Download
137. Hacker Tools For Pc
138. Hacking Tools For Games
139. Android Hack Tools Github
140. Hacker Tools Online
141. Hack Tool Apk No Root
142. Hacking Tools Github
143. Hack And Tools
144. Pentest Tools For Windows
145. Hacker Hardware Tools
146. Hacker Tools For Pc
147. Pentest Tools Review
148. Hacker Search Tools
149. Blackhat Hacker Tools
150. Hacker Tools 2020
151. Hacking Tools Pc
152. What Is Hacking Tools
153. Hacker Security Tools
154. Termux Hacking Tools 2019
155. Hack Tool Apk No Root