-
Notifications
You must be signed in to change notification settings - Fork 56
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
middle::Cif::callmay modifyargssliceC-safetySoundness issuesSoundness issuesStatus: Open.#184 In libffi-rs/libffi-rs;- Status: Open.#178 In libffi-rs/libffi-rs;
- Status: Open.#174 In libffi-rs/libffi-rs;
- Status: Open.#158 In libffi-rs/libffi-rs;
- Status: Open.#155 In libffi-rs/libffi-rs;
Reconsidering and formalizing the safety guarentees of each layer
C-safetySoundness issuesSoundness issuesStatus: Open.#151 In libffi-rs/libffi-rs;- Status: Open.#150 In libffi-rs/libffi-rs;
- Status: Open.#134 In libffi-rs/libffi-rs;
- Status: Open.#131 In libffi-rs/libffi-rs;
Get miri working
C-safetySoundness issuesSoundness issuesStatus: Open.#125 In libffi-rs/libffi-rs;middleclosure wrappers are trivially unsound due toBox's uniquenessC-safetySoundness issuesSoundness issuesStatus: Open.#106 In libffi-rs/libffi-rs;- Status: Open.#89 In libffi-rs/libffi-rs;