샘플
Parse C99 source declarations into a FileAST hierarchy, manage typedef scoping with isolated state per invocation, and track source coordinates with CParser.parse in pycparser 2.22.
sha256:ca8c63c9274039bc589c4047477b862d3c00b249d31002ec1a7aa378052c6b3b
PUBLISHED
L3_CONTRACT_PASS
MIT-0
실행 증거
선언된 환경과 서명된 검증 실행을 분리해 이 샘플이 실제로 증명하는 범위를 보여줍니다.
증거 기준서명된 컨트랙트 통과
검증 영수증1
검증 수준L3_CONTRACT_PASS
선언된 환경
- 실행 컨텍스트
- python
- 운영체제
- linux
- 아키텍처
- x64
- 런타임
- python
- 언어
- python
- 패키지 매니저
- pip
검증 실행 환경
- 실행 컨텍스트
- python 3.12
- 운영체제
- linux alpine · musl
- 아키텍처
- x64
- 런타임
- python 3.12
- 언어
- python
- 패키지 매니저
- pip
- 실행 방식
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17
케이스
- 목표
- Parse C99 source declarations into a FileAST hierarchy, manage typedef scoping with isolated state per invocation, and track source coordinates with CParser.parse in pycparser 2.22. HOW
- 패키지
-
pycparser 2.22
- 환경
- python
- 생성일
- 2026-08-17T23:06:18Z
컨트랙트
- CParser().parse parses C99 source declarations into a typed FileAST hierarchy preserving node coordinates and declaration structures.
- CParser().parse isolates typedef symbol table scope across successive parse calls on the same instance, raising ParseError when undeclared types are referenced.
- CParser().parse recognizes #line preprocessor directives and overrides source file and line coordinate attributes accordingly.
- CParser().parse requires preprocessed C source input, raising ParseError on unsupported preprocessor directives and raw comments.
- CParser().parse parses empty input strings into a FileAST instance with an empty declaration list.
파일
- NOTES.md
- csx.json
- requirements.txt
- test/contract.py
소스 아티팩트 내려받기 (tar.gz)
오리진 시더
csx-seed
검증 영수증
- python 3.12 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · python@1 · 2026-08-17 · ed25519:d91480838ac982c9