Exemplo

Parse C99 source code into a typed AST using CParser, traverse nodes with NodeVisitor, format back with CGenerator, and handle syntax errors with ParseError in pycparser 3.0.

sha256:3c5ca6f4d0fbebc7e9f426b8ff85289533a86a2af0b05839306773534fb7b397

PUBLISHED L3_CONTRACT_PASS MIT-0

Evidência de execução

O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.

Base da evidênciaContrato assinado aprovado

Recibos de verificação1

Nível de verificaçãoL3_CONTRACT_PASS

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17

Objetivo: Parse C99 source code into a typed AST using CParser, traverse nodes with NodeVisitor, format back with CGenerator, and handle syntax errors with ParseError in pycparser 3.0. HOW
Pacotes: pycparser 3.0
Ambiente: python
Criado: 2026-08-17T19:18:44Z

CParser().parse parses C99 source declarations into a typed FileAST hierarchy preserving source coordinates and declaration types.
Subclassing c_ast.NodeVisitor with visit_<NodeType> methods traverses AST nodes and collects syntactic constructs like function definitions and binary operators.
CGenerator().visit formats an AST tree back into valid C source text.
Parsing malformed C syntax raises c_parser.ParseError with descriptive failure diagnostics.

python 3.12 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17 · ed25519:d91480838ac982c9