anvill

anvill copied to clipboard

a solution tool to the "anvill-specify-bitcode(Currently unsupported)"

1

Hello! I am a deep user of Mcsema, and I want to contribute some effort to the Anvill community. I create an issue in anvill community about what I've found...

Stephen-lei

a solution tool to the "anvill-specify-bitcode(Currently unsupported)"

1

Hello, I am a user of Mcsema, and I have pushed some code to Mcsema before [PL#780](https://github.com/lifting-bits/mcsema/pull/780)(which is not very important just a script). and I want to contribute my...

Stephen-lei

Document what the compatibility with the new low-level lift architecture is for each pass

5

| Status | Pass | |---|---| | ✅ | `BranchRecovery` | | ✅ | `CombineAdjacentShifts` | | ❗ | [`ConvertAddressesToEntityUses`](https://github.com/lifting-bits/anvill/issues/336#issuecomment-1320154532) | | ✅ | `ConvertMasksToCasts` | | ❔ | `ConvertSymbolicReturnAddressToConcereteReturnAddress`...

frabert