Giter Site home page Giter Site logo

Comments (12)

catenacyber avatar catenacyber commented on May 17, 2024 1

So, it works for me the same, I get to hello world :-)

from manticore.

offlinemark avatar offlinemark commented on May 17, 2024

once all these are merged, this should be fixed ^

from manticore.

offlinemark avatar offlinemark commented on May 17, 2024

But it appears I still have an issue executing dynamic arm binaries that use my system ld.so, and not one i compiled for debugging :/. going to rename this issue to make it more specific

from manticore.

offlinemark avatar offlinemark commented on May 17, 2024

Bounty

from manticore.

catenacyber avatar catenacyber commented on May 17, 2024

@Mossberg do you have binaries to test ? was this fixed by #514 ?

from manticore.

offlinemark avatar offlinemark commented on May 17, 2024

thanks for checking in on this!

the below binary is a hello world arm dynamic binary compiled from

#include <stdio.h>
int main(int argc, const char *argv[])
{
    puts("Hello, world!");
    return 0;
}
arm-linux-gnueabi-gcc helloworld.c  -o hw.arm.dyn2

i am now able to get it to successfully run in manticore 0.1.9 using this cmd

[N] (tempenv-3eb6291213cd3) mark ubuntu /m/h/c/m/e/linux (master) ❯ manticore hw.arm.dyn2 --env LD_LIBRARY_PATH=/usr/arm-linux-gnueabi/lib
2018-06-07 14:46:32,125: [85553] m.manticore:INFO: Loading program hw.arm.dyn2
2018-06-07 14:47:33,049: [85553] m.manticore:INFO: Generated testcase No. 0 - Program finished with exit status: 0
2018-06-07 14:47:33,056: [85553] m.manticore:INFO: Results in /mnt/hgfs/code/manticore/examples/linux/mcore_nbjIDh
2018-06-07 14:47:33,056: [85553] m.manticore:INFO: Total time: 60.1371490955
[I] (tempenv-3eb6291213cd3) mark ubuntu /m/h/c/m/e/linux (master) ❯ cat mcore_nbjIDh/*.stdout
Hello, world!

on my system (ubuntu 16.04) that env variable is necessary for the arm ld.so to find the arm libc

it's not fast, but at least it works, i think we can close this issue now!

hw.arm.dyn2.zip

from manticore.

catenacyber avatar catenacyber commented on May 17, 2024

@Mossberg did you have to use a new capstone after capstone-engine/capstone#1163 ?

from manticore.

offlinemark avatar offlinemark commented on May 17, 2024

from manticore.

catenacyber avatar catenacyber commented on May 17, 2024

Ok your ld.so must not use arm instruction ldrd with addressing mode 3 :-)

from manticore.

offlinemark avatar offlinemark commented on May 17, 2024

what happens for you when you run the commands above on 0.1.9?

from manticore.

catenacyber avatar catenacyber commented on May 17, 2024

Can you supply me the contents of your /usr/arm-linux-gnueabi/libdirectory ?

from manticore.

offlinemark avatar offlinemark commented on May 17, 2024

lib.zip

from manticore.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.