-
Notifications
You must be signed in to change notification settings - Fork 2
daly/intel
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Instruction Semantic Analysis This program reads binary files in various formats, linux elf, windows PE and exe files. It can output conditional concurrent assignments which record the semantics of each instruction. These can be composed to generate the semantics of the original program. This is a literate program.
About
Instructiopn Semantic Analysis
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published