search

decyphir / breach

Other
53 stars 20 forks source link

Doubtful behavior on (P=>Q) #4

Open ninjarabs opened 7 years ago

ninjarabs commented 7 years ago

Dears, Mr.Donze I found propositional logic judgement(P=>Q) that I don't understand why it occurred. Please refer summary result in attach file(QA.xlsx) (Although I tried to check in source code STL_EvalThom.m line:172 but I don't know purpose of logic yet)

So, I don't sure that I misunderstand something or the script that I use for test have something wrong. But in case of this issue is classified as need to revise. I wonder if you could fix this issue. Thanks for your consideration.

                        Best Regards,
                          Nattawut K.

Reference file

  1. Summary result(xlsx) QA.xlsx
  2. Trial Script(.zip) check_ev.zip
slivingston commented 7 years ago

@ninjarabs can you share the results in plaintext or Markdown format, so that we can avoid opening an XLSX file or the ZIP file?

In general, those file types might act as attack vectors, so we should try to resolve the issue without using them if we can.

slivingston commented 7 years ago

you can find an introduction to formatting here at https://help.github.com/articles/about-writing-and-formatting-on-github/. worst case you can export the XLSX file to CSV and copy-and-paste it into a GitHub comment box.

ninjarabs commented 7 years ago

@slivingston thanks for your suggestion. Detail in Summary result.xlsx will be as following below

While I try to run Breach toolbox for confirm correctness of propositional logic(imply[=>]), I found misunderstand point as following.

Truth table for imply

P Q P=>Q
T T T
T F F
F T T
F F T

In timing[0,1] when {P,Q}={0,0}, Bool. Sat line that come from tool not follow above truth table. ng

choshina commented 5 years ago

Dear Nattawut:

Have you solved the problem? We encountered a similar case. I appreciate it very much if you can share the progress.

Thanks!

Best, Zhenya

ninjarabs commented 5 years ago

Dear Zhenya, I sorry to said that I don't get any answer as well. But I never try to directly contact to developer. I think you should try to mail to developer(info@decyphir.com)

regards, Nattawut

choshina commented 5 years ago

Dear Nattawut:

Thank you very much! I will let you know if I have progress.

Best, Zhenya

alexdecyphir commented 5 years ago

Dear all, Really sorry for the very late response on this. I recently pushed a new version of Breach on Github and I wonder if you would try again the suspicious behaviors you were experiencing.

Nattawut, the plot you showed above is clearly very strange. I got your code and played around with it and everything behaves as expected (though some outputs may be strange at first sight, but I can explain) - I couldn't reproduce something similar to what you shared.

Zhenya, can you elaborate on the similar case you experienced recently?

Best, Alex

choshina commented 5 years ago

Dear Alex:

Thanks for your reply!

I have rerun the same script but now I got a different result. I attach the script and two different figures. The Breach versions I use are both 1.2.13. The Matlab versions are both 2017b, but the releases are possibly different.

The result we get now (shown in fignew) is as expected, but what we got previously (shown in figold) was unexpected.

Thank you!

Best, Zhenya breach_result.zip