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