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

[Jerryscript] Initial integration [Draft] #4831

Closed
wants to merge 7 commits into from

Conversation

AdamKorcz
Copy link
Collaborator

@AdamKorcz AdamKorcz commented Dec 12, 2020

This PR adds initial integration of Jerryscript.

Jerryscript has an existing fuzzer and we are working on updates in the build system to build that fuzzer through the OSS-fuzz platform here: jerryscript-project/jerryscript#4344

@akosthekiss You had some questions in the PR above. If you have further questions to the practicalities of Jerryscript being integrated into OSS-fuzz, feel free to leave them here or in the PR on Jerryscript.

Also tagging @rerobika to let you know of this PR.

@AdamKorcz AdamKorcz marked this pull request as draft December 12, 2020 11:58
@AdamKorcz
Copy link
Collaborator Author

@akosthekiss this is just to let you know that the build for Jerryscript in OSS-fuzz has been updated and the current PR on the Jerryscript repository is not needed to proceed.

@AdamKorcz
Copy link
Collaborator Author

@zherczeg @rerobika @szilagyiadam @galpeter @dbatyai @ossy-szeged
Kind ping. Are you interested in integrating Jerryscript into OSS-fuzz for continuous fuzzing and get notified if any bugs are found?

All that is needed is at least one maintainers email address for bug reports.

@oliverchang oliverchang closed this Dec 1, 2022
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.

2 participants