vine_helpers.h missing?

[Marius]

Hi!

If you use irtrans to translate a binary -to-c you get a file, that includes vine_helpers.h.

That file is not in the download.

md5sum vine-1.0.tar.gz

eab9b517caa98983ba49dd619b41e574  vine-1.0.tar.gz

Maybe it's missing?

Thanks,

Marius

[Pongsin Poosankam]

Hi,

Thank you Marius for reporting the problem. We actually didn't intend to
support that functionality in the release and the command line option
was left there by accident. I'm sorry for the confusion.

Thanks,
-- Pongsin

[Marius]

Well, in any case thanks for keeping it. I think this feature especially shows the great potential of Vine and BitBlaze. 

For example it's possible (with slight modifications actually) to translate a COTS binary to  compileable C to instrument it with LLVM-klee. I think you're planing something similar with Ruddler. At least from what I read it looks like that.

I didn't confuse me. Far from it: I think it's great. I can't await the release. If you need a tester or something ... ;)

 

2009/10/3 Pongsin Poosankam <ppoo...@cmu.edu>