1 repository
Awesome GitHub RepositoriesStatic Data Structure Validation
Static analysis of specialized language constructs like data classes and enumerated types to ensure structural correctness.
Distinct from Complex Structure Validation: Distinct from Complex Structure Validation: focuses on static analysis of language-level constructs rather than runtime validation of collection types.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Static Data Structure Validation. Refine with filters or upvote what's useful.
Awesome Static Data Structure Validation GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- google/pytype
google/pytype
5,037Vezi pe GitHubPytype este un instrument de analiză statică a codului și un motor de inferență a tipurilor pentru Python. Funcționează ca un analizor static de tipuri care detectează nepotrivirile de tip și verifică adnotările de tip fără a necesita hint-uri manuale complete, servind în același timp ca un generator de stub-uri de tip pentru producerea fișierelor de definiție standalone. Proiectul se distinge prin determinarea automată a tipurilor de variabile și funcții printr-o analiză a tiparelor de cod și a atribuirilor. Acest motor de inferență permite verificarea structurală a codului și generarea de stub-uri de tip care descriu interfețele modulelor și funcțiilor. Sistemul acoperă operațiuni largi de analiză statică, inclusiv validarea structurală a ierarhiilor de clase și a apelurilor de funcții, precum și urmărirea simbolurilor pentru a detecta erorile de namespace și încălcările de acces la atribute. De asemenea, oferă primitive de verificare a tipurilor pentru a impune adnotări și un sistem de tipuri capabil să modeleze structuri de date complexe folosind uniuni și opționale.
Provides structural validation for specialized Python constructs such as data classes and enumerated types.
Pythonlinterpythonstatic-analysis
