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.

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

Libclevrbuf updates #3

Merged
merged 3 commits into from
Oct 3, 2018
Merged

Libclevrbuf updates #3

merged 3 commits into from
Oct 3, 2018

Conversation

ahomescu
Copy link
Contributor

@ahomescu ahomescu commented Oct 3, 2018

This set of patches mainly modifies libclevrbuf to lazily initialize the ring buffer at the time of the first cross-check, and to enable syscall replication and cross-checks from the first function call cross-check all the way to the matching function exit check.

@ahomescu
Lazily call rb_init() to initialize the ring buffer, instead of calli…
53ed227 
…ng it as an ELF constructor
@ahomescu
Starting with the first cross-check in libclevrbuf, run all syscalls …
b89a362 
…in synced mode
@ahomescu
Match the entry cross-check for the first cross-checked function with…
111272b 
… its exit check, and disable all syscall cross-checks in the MVEE after the exit (by calling rb_fini() early)
@stijn-volckaert stijn-volckaert merged commit 1d747cb into ReMon-MVEE:master Oct 3, 2018
@ahomescu ahomescu deleted the libclevrbuf_updates1 branch October 3, 2018 22:48
bcoppens pushed a commit that referenced this pull request Feb 1, 2022
@computerarchitectuur
Revert "Merge pull request #3 from immunant/libclevrbuf_updates1" to …
6c8c5bf 
…get the divergences between the private and public repo smaller

This reverts commit 1d747cb, reversing
changes made to 6c38c28.
bcoppens pushed a commit that referenced this pull request Feb 1, 2022
@stijn-volckaert
Merge pull request #3 from immunant/libclevrbuf_updates1
4134156 
Libclevrbuf updates
bcoppens pushed a commit that referenced this pull request Feb 1, 2022
@computerarchitectuur @bcoppens
Revert "Merge pull request #3 from immunant/libclevrbuf_updates1" to …
6137984 
…get the divergences between the private and public repo smaller

This reverts commit 1d747cb, reversing
changes made to 6c38c28.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ahomescu @stijn-volckaert