Draft
Conversation
Gab-San
force-pushed
the
RACFED
branch
3 times, most recently
from
3b0ff98 to
d059f0b
Compare
Gab-San
force-pushed
the
RACFED
branch
3 times, most recently
from
746232c to
74a9dac
Compare
|
Just a warning before a future merge. Given that RACFED is being implemented in LLVM 21.1.6 some patching was done to RASM and to EDDI. Patches to RASM and EDDI can be reverted (rebase on patching branch is instant and shouldn't break any work done in RACFED development branch).
|
Gab-San
force-pushed
the
RACFED
branch
2 times, most recently
from
074e276 to
aaa4886
Compare
Gab-San
force-pushed
the
RACFED
branch
2 times, most recently
from
1e40f8a to
7cce930
Compare
Patch RASM Patch EDDI (since LLVM 17 all pointers are opaques so checks for opaque pointers have been removed) Patch to INTER-RASM Patch ASPISCheckProfiler General Changes: - replace endswith and startswith with ends_with and starts_with - replace StringRef .equals method with llvm::operator== In aspis.sh: - remove enable-new-pm flags; - fix the not equal on dup check; - change "-lowerswitch" (not supported in LLVM 21) to "-passes=lower-switch" Update README.
Class RACFED.cpp
Made everything unsigned 32 bit values Added multiline test functions
Fixed error introduced on last push
- Fixed error where sumIntraInstructions wasn't properly updated and crashed the execution of the program - Implemented Return Value Check - Standardized some notation in order to have better formatted and more readable code
Should fix issue #5
Modified test.py in order to be able to run different configuration files making it more manageable. Added --tests-file flag -> use different configuration files Added --suffix flag -> extending support to versioned binaries (aspis modifications compatibility
Removed some redundant tests Updated testing/README
Update to racfed+eddi test names
Added some documentation. Added CompiledFuncs logic (copied from rasm)
In order to close issue #10 test multi_if_then_else has been added Support for multiple test configuration files has been added to flag --tests-file
Other tests don't pass
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
RACFED
Implementation of RACFED. Starting from RASM implementation to RACFED.
Implementation in LLVM 21.1.6.
Authors
Gabriele Santandrea
Martina Starone