search

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Error while oening file and viewing attack #17

Closed shahnewazsakib closed 1 year ago

shahnewazsakib commented 5 years ago

I have installed scyther using the method described in https://people.cispa.io/cas.cremers/scyther/index.html. However, if I click on open, under file, I get "'module' object has no attribute 'OPEN'" error. The exact message is: " File "Gui\Mainwindow.py", line 278, in OnOpen if self.askUserForFilename(style=wx.OPEN,

AttributeError: 'module' object has no attribute 'OPEN'" Moreover, I copied the code for "needham-schroeder.spdl" and when I run it, I get the output. But whenevr I try to view the attack I get "'AttackDisplay' object has no attribute 'GetClientSizeTuple'". The exact message is: " File "Gui\Scytherthread.py", line 274, in onViewButton w = Attackwindow.AttackWindow(btn.claim)

File "Gui\Attackwindow.py", line 251, in init self.CreateInteriorWindowComponents()

File "Gui\Attackwindow.py", line 284, in CreateInteriorWindowComponents dp = AttackDisplay(self, self, attacks[0])

File "Gui\Attackwindow.py", line 80, in init self.update(True)

File "Gui\Attackwindow.py", line 96, in update (framewidth,frameheight) = self.GetClientSizeTuple()

AttributeError: 'AttackDisplay' object has no attribute 'GetClientSizeTuple'"

How to solve these issues?

Emmmpty commented 5 years ago

I have the same problem with you. Can you solve it?

Emmmpty commented 5 years ago

I have the same problem with you. Can you solve it?

replace “(framewidth,frameheight) = self.GetClientSizeTuple()” with “framewidth,frameheight = self.GetClientSize()”

Rachanayp commented 5 years ago

Where we are suppose to do this?? replace “(framewidth,frameheight) = self.GetClientSizeTuple()” with “framewidth,frameheight = self.GetClientSize()”

Rachanayp commented 5 years ago

I have installed scyther using the method described in https://people.cispa.io/cas.cremers/scyther/index.html. However, if I click on open, under file, I get "'module' object has no attribute 'OPEN'" error. The exact message is: " File "Gui\Mainwindow.py", line 278, in OnOpen if self.askUserForFilename(style=wx.OPEN,

AttributeError: 'module' object has no attribute 'OPEN'" Moreover, I copied the code for "needham-schroeder.spdl" and when I run it, I get the output. But whenevr I try to view the attack I get "'AttackDisplay' object has no attribute 'GetClientSizeTuple'". The exact message is: " File "Gui\Scytherthread.py", line 274, in onViewButton w = Attackwindow.AttackWindow(btn.claim)

File "Gui\Attackwindow.py", line 251, in init** self.CreateInteriorWindowComponents()**

File "Gui\Attackwindow.py", line 284, in CreateInteriorWindowComponents dp = AttackDisplay(self, self, attacks[0])

File "Gui\Attackwindow.py", line 80, in init** self.update(True)**

File "Gui\Attackwindow.py", line 96, in update (framewidth,frameheight) = self.GetClientSizeTuple()

AttributeError: 'AttackDisplay' object has no attribute 'GetClientSizeTuple'"

How to solve these issues?

is the above solution working for you?????????????

Emmmpty commented 5 years ago

Where we are suppose to do this?? replace “(framewidth,frameheight) = self.GetClientSizeTuple()” with “framewidth,frameheight = self.GetClientSize()”

Gui/Attackwindow.py , line 96

Rachanayp commented 5 years ago

line 96 of of attackwindow.py ???? is it working do we need to follow any other step also after changing it?

On Fri, 18 Jan 2019 at 18:16, Emmmpty notifications@github.com wrote:

Where we are suppose to do this?? replace “(framewidth,frameheight) = self.GetClientSizeTuple()” with “framewidth,frameheight = self.GetClientSize()”

Gui/Attackwindow.py , line 96

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/cascremers/scyther/issues/17#issuecomment-455534842, or mute the thread https://github.com/notifications/unsubscribe-auth/AspbfmeYaKlOC9pgIJNFUHbhxf7ASRu8ks5vEcJBgaJpZM4YCtvw .

-- Rachana

Emmmpty commented 5 years ago

line 96 of of attackwindow.py ???? is it working do we need to follow any other step also after changing it? …

AttributeError: 'AttackDisplay' object has no attribute 'GetClientSizeTuple'"

this problem can be solved

but my scyther also can not open the file, save the picture/file...You can change the parameters of several functions according to the error

Rachanayp commented 5 years ago

no ...its not working

weavermech commented 4 years ago

Fix for opening files here, I stuck it on stackexchange for double visibility and the opportunity for discussion, as I'm not 100% sure what I'm doing :D

cascremers commented 1 year ago

This should have been resolved by newer versions (notably 1.2).