local lib14a = require('read14a')
local utils = require('utils')
local md5 = require('md5')
-local toyNames = require('default_toys')
-
+local toys = require('default_toys')
+local pre = require('precalc')
+
example =[[
1. script run tnp3sim
2. script run tnp3sim -m
-h : this help
-m : Maxed out items (experimental)
-i : filename for the datadump to read (bin)
-]]
-local TIMEOUT = 2000 -- Shouldn't take longer than 2 seconds
-local DEBUG = false -- the debug flag
+ ]]
+local TIMEOUT = 2000 -- Shouldn't take longer than 2 seconds
+local DEBUG = true -- the debug flag
+local RANDOM = '20436F707972696768742028432920323031302041637469766973696F6E2E20416C6C205269676874732052657365727665642E20'
local band = bit32.band
local bor = bit32.bor
---
-- A debug printout-function
function dbg(args)
- if not DEBUG then
- return
- end
+ if not DEBUG then return end
if type(args) == "table" then
local i = 1
-- This is only meant to be used when errors occur
function oops(err)
print("ERROR: ",err)
+ return nil,err
end
---
-- Usage help
return utils.SwapEndianness(crc,16)
end
+local function SetAllCheckSum(blocks)
+ print('Updating all checksums')
+ SetCheckSum(blocks, 3)
+ SetCheckSum(blocks, 2)
+ SetCheckSum(blocks, 1)
+ SetCheckSum(blocks, 0)
+end
+
local function SetCheckSum(blocks, chksumtype)
if blocks == nil then return nil, 'Argument \"blocks\" nil' end
end
local function ValidateCheckSums(blocks)
-
+ print(' Validating checksums')
+
local isOk, crc, calc
-- Checksum Type 0
crc = GetCheckSum(blocks,1,0)
calc = CalcCheckSum(blocks,2,3)
if crc == calc then isOk='Ok' else isOk = 'Error' end
io.write( ('TYPE 3 area 2: %04x = %04x -- %s\n'):format(crc,calc,isOk))
+
end
-local function LoadEmulator(blocks)
- local HASHCONSTANT = '20436F707972696768742028432920323031302041637469766973696F6E2E20416C6C205269676874732052657365727665642E20'
- local cmd
- local blockdata
+local function AddKey(keys, blockNo, data)
+ local pos = (math.floor( blockNo / 4 ) * 12)+1
+ local key = keys:sub(pos, pos + 11 )
+ return key..data:sub(13)
+end
+
+local function LoadEmulator(uid, blocks)
+ print('Sending dumpdata to emulator memory')
+ local keys = pre.GetAll(uid)
+ local cmd, blockdata
for _,b in pairs(blocks) do
blockdata = b
if _%4 ~= 3 then
if (_ >= 8 and _<=21) or (_ >= 36 and _<=49) then
- local base = ('%s%s%02x%s'):format(blocks[0], blocks[1], _ , HASHCONSTANT)
+ local base = ('%s%s%02x%s'):format(blocks[0], blocks[1], _ , RANDOM)
local baseStr = utils.ConvertHexToAscii(base)
local key = md5.sumhexa(baseStr)
- local enc = core.aes(key, blockdata)
- local hex = utils.ConvertAsciiToBytes(enc)
- hex = utils.ConvertBytesToHex(hex)
-
- blockdata = hex
+ local enc = core.aes128_encrypt(key, blockdata)
+ blockdata = utils.ConvertAsciiToHex(enc)
io.write( _..',')
end
+ else
+ -- add keys if not existing..
+ if ( blockdata:sub(1,12) == '000000000000' ) then
+ blockdata = AddKey(keys, _, blockdata)
+ end
end
-
- cmd = Command:new{cmd = cmds.CMD_MIFARE_EML_MEMSET, arg1 = _ ,arg2 = 1,arg3 = 0, data = blockdata}
+ core.clearCommandBuffer()
+ cmd = Command:new{cmd = cmds.CMD_MIFARE_EML_MEMSET, arg1 = _ ,arg2 = 1,arg3 = 16, data = blockdata}
local err = core.SendCommand(cmd:getBytes())
- if err then
- return err
- end
+ if err then return err end
end
io.write('\n')
end
remainder = num % RADIX
return remainder, highLSW, lowLSW
- uint num = 0 | (msw >> 16) & 0xffff;
+ -- uint num = 0 | (msw >> 16) & 0xffff;
- highLSW = 0 | (num / RADIX) << 16;
- remainder = num % RADIX;
+ -- highLSW = 0 | (num / RADIX) << 16;
+ -- remainder = num % RADIX;
- num = (remainder << 16) | (msw & 0xffff);
+ -- num = (remainder << 16) | (msw & 0xffff);
- highLSW |= num / RADIX;
- remainder = num % RADIX;
+ -- highLSW |= num / RADIX;
+ -- remainder = num % RADIX;
- num = (remainder << 16) | ((lsw >> 16) & 0xffff);
+ -- num = (remainder << 16) | ((lsw >> 16) & 0xffff);
- lowLSW = 0 | (num / RADIX) << 16;
- remainder = num % RADIX;
+ -- lowLSW = 0 | (num / RADIX) << 16;
+ -- remainder = num % RADIX;
- num = (remainder << 16) | (lsw & 0xffff);
+ -- num = (remainder << 16) | (lsw & 0xffff);
- lowLSW |= num / RADIX;
- remainder = num % RADIX;
+ -- lowLSW |= num / RADIX;
+ -- remainder = num % RADIX;
end
local cmdSetDbgOff = "hf mf dbg 0"
core.console( cmdSetDbgOff)
- -- if not loadFromDump then
- -- -- Look for tag present on reader,
- -- result, err = lib14a.read1443a(false)
- -- if not result then return oops(err) end
-
- -- core.clearCommandBuffer()
-
- -- if 0x01 ~= result.sak then -- NXP MIFARE TNP3xxx
- -- return oops('This is not a TNP3xxx tag. aborting.')
- -- end
-
- -- -- Show tag info
- -- print((' Found tag : %s'):format(result.name))
- -- end
-
-- Load dump.bin file
print( (' Load data from %s'):format(inputTemplate))
hex, err = utils.ReadDumpFile(inputTemplate)
blockindex = blockindex + 1
end
- if DEBUG then
- print('Validating checksums in the loaded datadump')
- ValidateCheckSums(blocks)
- end
+ if DEBUG then ValidateCheckSums(blocks) end
--
print( string.rep('--',20) )
print(' Gathering info')
local uid = blocks[0]:sub(1,8)
- local itemtype = blocks[1]:sub(1,4)
+ local toytype = blocks[1]:sub(1,4)
local cardidLsw = blocks[1]:sub(9,16)
local cardidMsw = blocks[1]:sub(17,24)
+ local subtype = blocks[1]:sub(25,28)
- local itemtypename = toyNames[itemtype]
- if itemtypename == nil then
- itemtypename = toyNames[utils.SwapEndiannessStr(itemtype,16)]
- end
-
-- Show info
print( string.rep('--',20) )
- print( (' ITEM TYPE : 0x%s - %s'):format(itemtype, itemtypename) )
+
+ local item = toys.Find( toytype, subtype)
+ if item then
+ local itemStr = ('%s - %s (%s)'):format(item[6],item[5], item[4])
+ print(' ITEM TYPE : '..itemStr )
+ else
+ print( (' ITEM TYPE : 0x%s 0x%s'):format(toytype, subtype) )
+ end
+
print( (' UID : 0x%s'):format(uid) )
print( (' CARDID : 0x%s %s [%s]'):format(
cardidMsw,cardidLsw,
- Num2Card(cardidMsw, cardidLsw))
+ --Num2Card(cardidMsw, cardidLsw))
+ '')
)
print( string.rep('--',20) )
- -- lets do something.
- --
+ -- Experience should be:
local experience = blocks[8]:sub(1,6)
- print(('Experience : %d'):format(utils.SwapEndianness(experience,24)))
+ print(('Experience : %d'):format(utils.SwapEndianness(experience,16)))
+
local money = blocks[8]:sub(7,10)
print(('Money : %d'):format(utils.SwapEndianness(money,16)))
+
+ --
+
+ -- Sequence number
+ local seqnum = blocks[8]:sub(18,19)
+ print(('Sequence number : %d'):format( tonumber(seqnum,16)))
+
local fairy = blocks[9]:sub(1,8)
--FD0F = Left, FF0F = Right
local path = 'not choosen'
local hat = blocks[9]:sub(8,11)
print(('Hat : %d'):format(utils.SwapEndianness(hat,16)))
+
+ local level = blocks[13]:sub(27,28)
+ print(('LEVEL : %d'):format( tonumber(level,16)))
+
+ --local health = blocks[]:sub();
+ --print(('Health : %d'):format( tonumber(health,16))
--0x0D 0x29 0x0A 0x02 16-bit hero points value. Maximum 100.
local heropoints = blocks[13]:sub(20,23)
local challenges = blocks[16]:sub(25,32)
print(('Finished hero challenges : %d'):format(utils.SwapEndianness(challenges,32)))
+ -- Character Name
+ local name1 = blocks[10]:sub(1,32)
+ local name2 = blocks[12]:sub(1,32)
+ print('Custom name : '..utils.ConvertHexToAscii(name1..name2))
+
if maxed then
print('Lets try to max out some values')
-- max out money, experience
--print (blocks[13])
-- Update Checksums
- print('Updating all checksums')
- SetCheckSum(blocks, 3)
- SetCheckSum(blocks, 2)
- SetCheckSum(blocks, 1)
- SetCheckSum(blocks, 0)
-
- print('Validating all checksums')
+ SetAllCheckSum(blocks)
+
+ -- Validate Checksums
ValidateCheckSums(blocks)
end
-
+
--Load dumpdata to emulator memory
if DEBUG then
- print('Sending dumpdata to emulator memory')
- err = LoadEmulator(blocks)
+ err = LoadEmulator(uid, blocks)
if err then return oops(err) end
core.clearCommandBuffer()
print('The simulation is now prepared.\n --> run \"hf mf sim u '..uid..'\" <--')
projects / proxmark3-svn / blobdiff