Pasi Saarinen Phasip

## gameboy_ida70.py
import idaapi
import idc
import ida_funcs
import ida_bytes
from idc import *

logo = bytes.fromhex("CE ED 66 66 CC 0D 00 0B 03 73 00 83 00 0C 00 0D 00 08 11 1F 88 89 00 0E DC CC 6E E6 DD DD D9 99 BB BB 67 63 6E 0E EC CC DD DC 99 9F BB B9 33 3E".replace(" ", ""))

registers = {
    0xFF00: "rJOYP",

## Copy snapshot (recursively) from PoolName to ReceivingPoolName
zfs send -vR PoolName@SnapShotName | zfs receive -vF ReceivingPoolName

## Xcp-Ng Export VMs that are powered off
for uuid in $(xe vm-list |  awk '{ if ($0 ~/uuid/ ) print $5}' ); do xe vm-export vm=$uuid filename=$uuid.xenbackup; done

## screenrc
# skip the startup message
startup_message off

# go to home dir
chdir

# Automatically detach on hangup.
autodetach on

logfile "$HOME/screen_log/screen_%H_%m%d%Y_%0c-%t.%n"

## Tamarin Counter Loop Bug
theory Loop_Counter_Test begin
functions: inc/1

rule Start: [ Fr(x) ] --[ ]-> [ A(x,x) ]
rule Loop:  [ A(x,y) ]  --[ Loop(x,y)  ]-> [ A(x,inc(y)) ]


lemma Exists:
 exists-trace
  "Ex #i x y. Loop(x,inc(y)) @ #i"

## weird_axiom.spthy
theory BadTheory_axiom
begin

rule ProbablyBug:
  [
    Fr(~kenb)
  ]
  --[
    SessionKey(~kenb)
  ]->

## weid_typing.spthy
theory BadTheory_Typing
begin

rule ProbablyBug:
  [
    Fr(~kenb)
  ]
  --[
    SessionKey(~kenb)
  ]->
	import idaapi
	import idc
	import ida_funcs
	import ida_bytes
	from idc import *

	logo = bytes.fromhex("CE ED 66 66 CC 0D 00 0B 03 73 00 83 00 0C 00 0D 00 08 11 1F 88 89 00 0E DC CC 6E E6 DD DD D9 99 BB BB 67 63 6E 0E EC CC DD DC 99 9F BB B9 33 3E".replace(" ", ""))

	registers = {
	0xFF00: "rJOYP",
	# skip the startup message
	startup_message off

	# go to home dir
	chdir

	# Automatically detach on hangup.
	autodetach on

	logfile "$HOME/screen_log/screen_%H_%m%d%Y_%0c-%t.%n"
	theory Loop_Counter_Test begin
	functions: inc/1

	rule Start: [ Fr(x) ] --[ ]-> [ A(x,x) ]
	rule Loop: [ A(x,y) ] --[ Loop(x,y) ]-> [ A(x,inc(y)) ]


	lemma Exists:
	exists-trace
	"Ex #i x y. Loop(x,inc(y)) @ #i"
	theory BadTheory_axiom
	begin

	rule ProbablyBug:
	[
	Fr(~kenb)
	]
	--[
	SessionKey(~kenb)
	]->
	theory BadTheory_Typing
	begin

	rule ProbablyBug:
	[
	Fr(~kenb)
	]
	--[
	SessionKey(~kenb)
	]->