adds unknown architecture #1016
Merged
Conversation
This file contains 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
This PR introduces an `unknown` architecture to enable analysis of programs that are not binary, such as JVM or CLR bytecodes. This change is also in line with the LLVM which also has the unknown architecture. Additionally, the unkwown architecture could be later refined, since it is the minimal element of the architecture domain. That let us develop analyses that will detect architectures, thus making the architecture a target of analysis rather than a constant input. In general, in BAP 2.0 we're moving away from the Arch.t type for encoding a wide range of arhictectual properties of computing units which we model. Mostly because those properties are mostly structural and could be hardly captured with jsut a nominal string (even if this string is triple). This PR also sweeps through code and removes some warnings as well as documents the new functions in bap.mli.
gitoleg
approved these changes
Nov 12, 2019
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
This PR introduces an
unknownarchitecture to enable analysis ofprograms that are not binary, such as JVM or CLR bytecodes. This
change is also in line with the LLVM which also has the unknown
architecture. Additionally, the unkwown architecture could be later
refined, since it is the minimal element of the architecture
domain. That let us develop analyses that will detect architectures,
thus making the architecture a target of analysis rather than a
constant input.
In general, in BAP 2.0 we're moving away from the Arch.t type for
encoding a wide range of arhictectual properties of computing units
which we model. Mostly because those properties are mostly structural
and could be hardly captured with jsut a nominal string (even if this
string is triple).
This PR also sweeps through code and removes some warnings as well as
documents the new functions in bap.mli.