[New-bugs-announce] [issue40483] Implementing a verifier function to verify integrity of AST nodes

[Batuhan Taskaya]

New submission from Batuhan Taskaya <batuhanosmantaskaya at gmail.com>:

This is actually a problem that is existing for a long time. A recent example would be the discussion in the GH-19868.

Implementation
- It should check existence of all fields (like ast.Constant() wont verified)
- It should check types of all fields against their declarations in ASDL (this is actually depending on GH-19031) (like ast.List({ast.Constant(1)}, ctx=ast.Load()) wont pass, or the example in GH-19868)

After bpo-39981 resolved, I'll submit a patch.

----------
components: Library (Lib)
messages: 367969
nosy: BTaskaya, pablogsal, serhiy.storchaka
priority: normal
severity: normal
status: open
title: Implementing a verifier function to verify integrity of AST nodes
type: enhancement

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue40483>
_______________________________________