How to use harnessgen as described in the paper?

[RLee063]

Is this the final version of the code? I took a rough look at the code and didn't find where some functions are implemented, such as

• WINNIE also identifies library functions that do not open or read the file themselves but instead accept a file descriptor or an in-memory buffer as input.
• WINNIE analyzes the control-flow between two API calls for paths from the return value of the invoked function to a termination condition. If such a path is found, WINNIE duplicates the decompiled control-flow code.
• Harness Validation and Finalization.

And I don't understand how the LCA results are used to guide the generation of the harness, and how to pass the seed when the APIs parameters do not contain the sample name. Maybe some complete examples would be very helpful :)

By the way, although "WINNIE's harness generator focuses testing shared libraries", many of the 59 harnesses target the executable. I am very interested in how to apply harnessgen to the main executable.

[stong]

I believe jinho would be the person to ask for this as he is the first author of the paper and also responsible for the harness generation component.

[jinhojun]

I will help him with my code (uncleaned though). Thanks.

[RLee063]

Thanks for your prompt reply, since Jinho has contacted me via email, I will close this issue.
Appreciate your work!

[gonbbb]

As I am also interested in this topic, I would like you to communicate with us on GitHub as much as possible... Would it be possible? Thank you.

[RLee063]

I reopened this issue for further discussion.

[omkarbhat1995]

As I am also interested in this topic, I would like you to communicate with us on GitHub as much as possible... Would it be possible? Thank you. I was trying to get harness gen to work on 7z.exe as its described in the paper.

[mineechor]

As I am also interested in this topic, can I get more details on Github?If so,Thank you very much!

[mineechor]

@RLee063 Can you give me more details about harness?

[jinhojun]

Hey, I am working on the code cleaning as well as documentation. It should be released soon.

Sorry for the late work.

[william31212]

@jinhojun Excuse me, does you have any contact ?
I'm using the harnessgen for a pictureViewer, but cannot collect any method logs.

[jinhojun]

Yes, there should be an option for the tracer. I am writing the guideline as well.

…

On Wed, Nov 23, 2022 at 8:37 PM halloworld ***@***.***> wrote: @jinhojun <https://urldefense.com/v3/__https://github.com/jinhojun__;!!LIr3w8kk_Xxm!rNi3eGXKyL_Le-AULGODcGY5E3k-aQah8EUok6ivknEnnXN2CEDRh84mKA3l79vtp7uF3O2dVpnKNd2af2AG62ok$> Excuse me, does you have any contact ? I'm using the harnessgen for a pictureViewer, but cannot collect any method logs. — Reply to this email directly, view it on GitHub <https://urldefense.com/v3/__https://github.com/sslab-gatech/winnie/issues/43*issuecomment-1324921461__;Iw!!LIr3w8kk_Xxm!rNi3eGXKyL_Le-AULGODcGY5E3k-aQah8EUok6ivknEnnXN2CEDRh84mKA3l79vtp7uF3O2dVpnKNd2afz5GuAye$>, or unsubscribe <https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AFNZYI3F7EUCAXIBE3SNMBTWJX6XVANCNFSM5TT7NMUA__;!!LIr3w8kk_Xxm!rNi3eGXKyL_Le-AULGODcGY5E3k-aQah8EUok6ivknEnnXN2CEDRh84mKA3l79vtp7uF3O2dVpnKNd2af7zWcaQn$> . You are receiving this because you were mentioned.Message ID: ***@***.***>

[william31212]

@jinhojun,
I tidy up my problem, and send email to you.
Thanks.

[gdynamics]

Hey, I am working on the code cleaning as well as documentation. It should be released soon.

Sorry for the late work.

Any update on this? I am happy to do a read through and test of what is there so far, if you would like.

[KB-bit]

I am very interested in this topic and trying to generate the harness，but failed. Could you please give me more details about generating harness，like some complete examples? Thank you very much : )

[william31212]

@jinhojun
Is there any follow up with harness generating code?

[mineechor]

@jinhojun I am also interested.

[Zrzzzz]

@jinhojun I am interested in harness generating, can we communicate via email?