Skip to content

A new set of APIs with input pointer NULL-checkers #4682

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 26 commits into
base: main
Choose a base branch
from
Open

A new set of APIs with input pointer NULL-checkers #4682

wants to merge 26 commits into from

Conversation

@lum1n0us
Copy link
Collaborator

  • ci/generate_checked_functions.py is used to generate checked APIs from the original APIs.
  • .github/workflows/verify_checked_apis.yml ensures that the checked APIs are always derived from the latest APIs.
  • samples/checked-api/ provides a quick example.
  • core/iwasm/include/*_checked.h contains the generated checked APIs.

lum1n0us added 25 commits October 28, 2025 02:17
@lum1n0us
feat: add generate_checked_functions script to dynamically create che…
3d206dd 
…cked function wrappers
@lum1n0us
refactor: based on current file location to adjust header file paths
14c3c26
@lum1n0us
refactor: Make Result struct definition locally and remove dynamic ty…
5b7d3d0 
…pe addition
@lum1n0us
feat: include original wasm_export.h and necessary headers in generat…
ba4e909 
…ed header file
@lum1n0us
refactor: streamline Result handling by consolidating return type ass…
0c26dc1 
…ignments and excluding void type
@lum1n0us
feat: enhance generate_checked_function to support variadic arguments…
003cb7d 
… and update Result handling
@lum1n0us
fix: update generate_checked_function to include static inline in fun…
818481b 
…ction declaration
@lum1n0us
WIP. fix bugs about returning a pointer
9be8c51
@lum1n0us
Revert "WIP. fix bugs about returning a pointer"
3827519 
This reverts commit 4f9f6422cd9c32b71890d5ef668a8e3c15e15aa8.
@lum1n0us
fix: enhance return type handling in generate_checked_function to sup…
b891914 
…port pointer types
@lum1n0us
fix: update generate_checked_function to resolve typedefs and enhance…
33c31ef 
… Result handling for new return types
@lum1n0us
fix: add duplicate typedef check and improve pointer handling in gene…
080b1fe 
…rate_checked_function
@lum1n0us
fix: correct error code assignment for boolean return type in generat…
6a0e38d 
…e_checked_function
@lum1n0us
feat: add checked API sample with Fibonacci example and CMake configu…
bb4044d 
…ration
@lum1n0us
Add command-line options to accept paths of headers as a list of mult…
e04a4e7 
…iple file paths
@lum1n0us
Add docstring to introduce script usage, arguments, and output
dbca782
@lum1n0us
refactor: rename and break process_headers into small ones
3c45109
@lum1n0us
fix: update copyright notice and improve header file generation comments
49bc065
@lum1n0us
refactor: remove unused resolve_typedef function and simplify type re…
3e1dfce 
…solution
@lum1n0us
fix: correct indentation in RESULT_STRUCT_TEMPLATE for clarity
01f14ca
@lum1n0us
refactor: update CMakeLists.txt for testing support and modify demo o…
0eabb2e 
…utput
@lum1n0us
refactor: enhance header generation script with default headers and f…
4aa42a6 
…ormatting support
@lum1n0us
fix: include stdbool.h for boolean type support in aot_comp_option.h
cf0a7b6
@lum1n0us
feat: A new job in CI to check if checked APIs are up to date
b837e20
@lum1n0us
add generated checked APIs
2c82850
@lum1n0us lum1n0us requested a review from yamt as a code owner October 29, 2025 02:58
@lum1n0us lum1n0us linked an issue Oct 29, 2025 that may be closed by this pull request
[RFC] Explicitly validating the pointers against null #4618
Open
@lum1n0us lum1n0us added the enhancement Check if this issue/PR enhances a feature; scripts will use this info. label Oct 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@loganek loganek Awaiting requested review from loganek loganek is a code owner

@no1wudi no1wudi Awaiting requested review from no1wudi no1wudi is a code owner

@TianlongLiang TianlongLiang Awaiting requested review from TianlongLiang TianlongLiang is a code owner

@wenyongh wenyongh Awaiting requested review from wenyongh wenyongh is a code owner

@xujuntwt95329 xujuntwt95329 Awaiting requested review from xujuntwt95329 xujuntwt95329 is a code owner

@yamt yamt Awaiting requested review from yamt yamt is a code owner

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

enhancement Check if this issue/PR enhances a feature; scripts will use this info.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

[RFC] Explicitly validating the pointers against null

1 participant

@lum1n0us