Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gast: improve api coverage #13004

Merged
merged 1 commit into from
Feb 8, 2025

Conversation

serge-sans-paille
Copy link
Contributor

Test basic api
Test basic invariant

Copy link

github-actions bot commented Feb 3, 2025

serge-sans-paille is a new contributor to projects/gast. The PR must be approved by known contributors before it can be merged.

@serge-sans-paille
Copy link
Contributor Author

cc @AdamKorcz as you validated the initial integration

serge-sans-paille added a commit to serge-sans-paille/gast that referenced this pull request Feb 3, 2025
The bug was found during oss-fuzz integration through

google/oss-fuzz#13004
serge-sans-paille added a commit to serge-sans-paille/gast that referenced this pull request Feb 3, 2025
The bug was found during oss-fuzz integration through

google/oss-fuzz#13004
serge-sans-paille added a commit to serge-sans-paille/gast that referenced this pull request Feb 3, 2025
The bug was found during oss-fuzz integration through

google/oss-fuzz#13004
projects/gast/fuzz_api.py Outdated Show resolved Hide resolved
serge-sans-paille added a commit to serge-sans-paille/gast that referenced this pull request Feb 3, 2025
The bug was found during oss-fuzz integration through

google/oss-fuzz#13004
Test basic api
Test basic invariant
@serge-sans-paille
Copy link
Contributor Author

@AdamKorcz looks good now? I've also merged a fix for one of the failure detected by the API in upstream gast

@serge-sans-paille
Copy link
Contributor Author

Also cc @DavidKorczynski who did the initial integration.
As a side note, I'm the actual developper of gast ^^!

@DavidKorczynski DavidKorczynski enabled auto-merge (squash) February 8, 2025 21:48
@DavidKorczynski DavidKorczynski merged commit 4471771 into google:master Feb 8, 2025
15 checks passed
@DavidKorczynski
Copy link
Collaborator

Also cc @DavidKorczynski who did the initial integration. As a side note, I'm the actual developper of gast ^^!

Thanks @serge-sans-paille ! That's great! We'd be very happy if you can take charge of the integration -- feel free to migrate fuzzers to upstream and also feel free to update the project.yaml so you're listed as the primary_contact. And feel free to remove me under the vendor_ccs.

@serge-sans-paille
Copy link
Contributor Author

Thanks @DavidKorczynski . yeah, I plan to head that way, but beforehand I need to get myself used to oss-fuzz.
For instance I don't understand the failure in coverage information retrieval in https://introspector.oss-fuzz.com/project-profile?project=gast

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants