Source request

[codetronik]

I'm trying to modify the source and use it because it doesn't support the latest evm.

Unhandled exception. System.Exception: Failed to find codecopy
   at B2R2.MiddleEnd.Reclaimer.EVMCodeCopyAnalysis.findCodeCopyOffset(BinHandle hdl, BinaryPointer bp, FSharpList`1 pushList) in /mnt/c/Workspace/Smartian/EVMAnalysis/B2R2/src/MiddleEnd/Reclaimer/EVMCodeCopyAnalysis.fs:line 53
   at B2R2.MiddleEnd.Reclaimer.EVMCodeCopyAnalysis.recoverCopiedCode(BinEssence ess) in /mnt/c/Workspace/Smartian/EVMAnalysis/B2R2/src/MiddleEnd/Reclaimer/EVMCodeCopyAnalysis.fs:line 66
   at B2R2.MiddleEnd.Reclaimer.EVMCodeCopyAnalysis.B2R2.MiddleEnd.Reclaimer.IAnalysis.Run(BinEssence ess, AnalysisHint hint) in /mnt/c/Workspace/Smartian/EVMAnalysis/B2R2/src/MiddleEnd/Reclaimer/EVMCodeCopyAnalysis.fs:line 78
   at Microsoft.FSharp.Collections.ListModule.Fold[T,TState](FSharpFunc`2 folder, TState state, FSharpList`1 list) in D:\a\_work\1\s\src\FSharp.Core\list.fs:line 295
   at B2R2.MiddleEnd.Reclaimer.Reclaimer.run(FSharpList`1 analyses, BinEssence ess) in /mnt/c/Workspace/Smartian/EVMAnalysis/B2R2/src/MiddleEnd/Reclaimer/Reclaimer.fs:line 32
   at EVMAnalysis.Parse.run(String binFile, String abiFile) in /home/code/Smartian/EVMAnalysis/src/FrontEnd/Parse.fs:line 65
   at EVMAnalysis.TopLevel.parseAndAnalyze(String binFile, String abiFile) in /home/code/Smartian/EVMAnalysis/src/Analysis/TopLevel.fs:line 96
   at Smartian.Fuzz.initializeWithDFA(FuzzOption opt) in /home/code/Smartian/src/Fuzz/Fuzz.fs:line 21
   at Smartian.Fuzz.run[a](String[] args) in /home/code/Smartian/src/Fuzz/Fuzz.fs:line 144
   at Smartian.Main.runMode(String mode, String[] optArgs) in /home/code/Smartian/src/Main/Main.fs:line 14
   at Smartian.Main.main(String[] args) in /home/code/Smartian/src/Main/Main.fs:line 22

The B2R2 path does not have a file like EVMCodeCopyAnalysis.fs. Perhaps it is a source created by the developer himself, not a file included in B2R2.

Is there any way I can get these files?

[faustocarva]

Having this source out of those DLL files would be great, as we can make experiments and new enhanced versions of Smartian.

[leosol]

Just Up(ing) the issue! also interested in the sources.

[jchoi2022]

Thank you for bringing this up. Previously, some parts of the B2R2 (so called "middle-end" module) was closed-sourced for a couple years. But just few months ago, those parts have been also switched to open-source.

So I can provide the full source code now. I will prepare the commits and push within few weeks. Thank you!

[faustocarva]

Thank you for bringing this up. Previously, some parts of the B2R2 (so called "middle-end" module) was closed-sourced for a couple years. But just few months ago, those parts have been also switched to open-source.

So I can provide the full source code now. I will prepare the commits and push within few weeks. Thank you!

Thanks!

[jchoi2022]

In the latest commit of main branch, I made the full source code is available. Now, the front-end (B2R2) code will be cloned from the fork at https://github.com/infosec-sogang/B2R2.

Besides, the bug itself seems to be similar to issue #4. I'm trying to look into these front-end bugs, but I think it will require more time to fix them.