Ghyath25 static info#1

Open

Ghyath25 wants to merge 120 commits intombriday:masterfrom

Ghyath25:ghyath25-staticInfo

Commits on Jun 2, 2016

work in progress.
Mikaël Briday
committed

Commits on Jun 3, 2016

update ppc isa: no out in components supported yet.
Mikaël Briday
committed

Commits on Jun 7, 2016

update static analysis for instruction ‘if bloc’
Mikaël Briday
committed
static analysis. Start to detect const…
Mikaël Briday
committed

Commits on Jun 8, 2016

update ambiguous ‘isConst’ parameter for expIdf to ‘shouldNotAssign’
Mikaël Briday
committed
update expIdf to remove ‘isConst’ and add ‘shouldNotAssign’ and ‘isDefinedStatically’ fields.
Mikaël Briday
committed

Commits on Sep 14, 2016

[galgas] Fix syntax for galgas 3.2.6
Mikaël Briday
committed
[static analysis] whip
Mikaël Briday
committed
[static analysis] fix bug: a var if a var is written many times, with dependancies between writes…
Mikaël Briday
committed

Commits on Sep 20, 2016

wip static analysis
Mikaël Briday
committed
log: add the ‘harmlessCode’ gutter for debug purpose
Mikaël Briday
committed
static analysis fix bugs and generate basic analysis for each instruction.
Mikaël Briday
committed

Commits on Sep 21, 2016

static analysis is now exported as an HTML page through templates
Mikaël Briday
committed
update func « harmlessCode ».
Mikaël Briday
committed
detect global me write access
Mikaël Briday
committed
move static detection from ISA to core.
Mikaël Briday
committed
add memChunk into static analysis.
Mikaël Briday
committed

Commits on Sep 23, 2016

move generated dot files into log/dot/
Mikaël Briday
committed

Commits on Oct 7, 2016

static info: detect correctly memory write access (give the mem space).
Mikaël Briday
committed
[staticInfo] detect dependency on memSpaces (read) in register assignment.
Mikaël Briday
committed

Commits on Oct 24, 2016

fix bug in static info for mem space read.
Mikaël Briday
committed

Commits on Oct 26, 2016

ISA - add methods for instructions to get fields values.
Mikaël Briday
committed

Commits on Oct 27, 2016

build script for Harmless either works with python 2 and 3.
Mikaël Briday
committed

Commits on Nov 9, 2016

[build] remove unneeded debug message
Mikaël Briday
committed

Commits on Nov 15, 2016

[static analysis] trace memory address/value in addition to registers.
Mikaël Briday
committed

Commits on Nov 23, 2016

Bug fix: the getIdf method for expressions did not handle correctly function calls.
Mikaël Briday
committed
[log] update harmlessCode getter to get also the code line
Mikaël Briday
committed
display ‘field’ keyword in harmlessCode.
Mikaël Briday
committed

Commits on Nov 28, 2016

[gadl format] fix bug when there is an offset to a slice on multiple parts.
Mikaël Briday
committed
Cortex-M model. Work in progress with syntax (16 bits ISA only)
Mikaël Briday
committed

Commits on Nov 29, 2016

ISA syntax: add the ‘function’ keyword to get the string of the current function.
Mikaël Briday
committed
ISA Syntax. Add the ‘function address’ expression for syntax
Mikaël Briday
committed
Update labels so that it shows the function name and offset, as in objdump.
Mikaël Briday
committed

Commits on Dec 6, 2016

[Cortex] armv8m 16bits format+syntax ok.
Mikaël Briday
committed

Commits on Mar 8, 2017

fix disassembler print error (opcode of instruction for variable-length ISA).
Mikaël Briday
committed
[ISA format] fix bug for variable length format ISA (slices)
Mikaël Briday
committed
[samd21] first 32 bits instructions. test script updated.
Mikaël Briday
committed
simu: Change disassembler function in ‘core’ to decode a number of instructions, instead a number of bytes.
Mikaël Briday
committed
[samd21] update tests for 32 bits targets. We will have to check 4G instructions!
Mikaël Briday
committed

Commits on Mar 21, 2017

[Gadl ISA] bug when handling format slices with multiple format sizes…
Mikaël Briday
committed

Commits on Apr 24, 2017

[syntax] possible name conflict in syntax part…
Mikaël Briday
committed
[format] update getBinarySet method that did not work for some binary codes. Galgas 3.3.2 min required.
Mikaël Briday
committed

Commits on May 2, 2017

[format] remove a bug with binaryset..
Mikaël Briday
committed
[test cortex] update tests to be run in parallel on many cores.
Mikaël Briday
committed
[cortex isa] end of data processing shifted instructions.
Mikaël Briday
committed

Commits on May 3, 2017

[cortex isa] end of Data processing (plain binary immediate) (binary+syntax).
Mikaël Briday
committed

Commits on May 6, 2017

[format] add the ‘restrict slice{xx} to \m..’ instruction in the format part. This is a simpler construct when there is only one case in a ‘select’
Mikael BRIDAY
committed

Commits on May 10, 2017

[gadl format] add expression as fields in format view
Mikael BRIDAY
committed
[cortex] start branch32 instructions
Mikael BRIDAY
committed
[cortex] start branch32 instructions
Mikael BRIDAY
committed
[test] exception handling + try to limit processes when an error occurs.
Mikael BRIDAY
committed

Commits on May 15, 2017

[cortex isa] bin+syntax of branch instructions.
Mikael BRIDAY
committed
[cortex] hint32 instructions
Mikael BRIDAY
committed

Commits on Sep 14, 2017

start of coproc instruction. It is not the right approach. Should be done again…
Mikael BRIDAY
committed
add str.b/.h instructions.
Mikael BRIDAY
committed

Commits on Sep 20, 2017

update assembly test directory for Cortex-M model
Mikael BRIDAY
committed
start behavior test suite for Cortex-M
Mikael BRIDAY
committed
behavior test. First generated gdb script that runs on the real target.
Mikael BRIDAY
committed

Commits on Sep 26, 2017

[cortex behavior test suite]. Works. 3 instructions added
Mikael BRIDAY
committed
cortex behavior. More instructions defined (and tested)
Mikael BRIDAY
committed

Commits on Sep 27, 2017

[cortex] 16-bits dataProc instructions done and tested.
Mikael BRIDAY
committed

Commits on Sep 28, 2017

cortex: behavior of first instruction with 4-bits register encoding…
Mikael BRIDAY
committed

Commits on Oct 3, 2017

[cortex-M model] behavior of special data instructions and BX/BLX.
Mikael BRIDAY
committed

Commits on Dec 6, 2017

[gadl code reader] remove a memory leak when reading .elf files.
Mikael BRIDAY
committed

Commits on Jan 9, 2018

behavior tests Json doc
Mikael BRIDAY
committed
start description of load/store, with functional test. Wip
Mikael BRIDAY
committed

Commits on Jan 19, 2018

[behavior test on Cortex] update verbose in script output
Mikael BRIDAY
committed

Commits on Jan 22, 2018

[cortex behavior test] add ‘mem’ section for load/store. Should be tested…
Mikael BRIDAY
committed
[cortex example] behavior test bug fix.
Mikael BRIDAY
committed
[cortex example] bug fix in behavior test script (gdb)
Mikael BRIDAY
committed

Commits on Jan 31, 2018

[cortex example] behavior model+test of many 16-bits instructions. instruction that are not modeled are branches/load store multiple words/if-then hints.
Mikael BRIDAY
committed
[cortex] stm/ldm instructions.
Mikael BRIDAY
committed

Commits on Feb 6, 2018

[cortexM] behavior branchements conditionnels
Mikael BRIDAY
committed

Commits on Feb 7, 2018

[cortex behavior test script] memory in init section.
Mikael BRIDAY
committed

Commits on Feb 15, 2018

[cortex-M] svc instruction. Test fails.
Mikael BRIDAY
committed
[cortex behavior test] add flash example to test svc
Mikael BRIDAY
committed

Commits on Feb 16, 2018

[cortex example] test.py updated
Mikael BRIDAY
committed

Commits on Feb 19, 2018

[cortex ISA] end of 16-bits instruction…
Mikael BRIDAY
committed

Commits on Mar 12, 2018

[gadl] syntax: loop without condition (‘while’)
Mikael BRIDAY
committed
[cortex] add strex instructions, and some tests
Mikael BRIDAY
committed

Commits on Mar 14, 2018

[behavior test script] Add a ‘quick’ mode to test only the first 100 test cases for early debugging.
Mikael BRIDAY
committed
[cortex Model] add ‘exclusive’ instruction (strex, ldrex,…)
Mikael BRIDAY
committed

Commits on Mar 15, 2018

[cortex model] ldmdb instruction test.
Mikael BRIDAY
committed

Commits on Mar 19, 2018

[cortex model] more tests
Mikael BRIDAY
committed

Commits on Mar 20, 2018

[cortex model] ldrd instruction test.
Mikael BRIDAY
committed
[cortex model] fix assembly script (link script pb)
Mikael BRIDAY
committed

Commits on Mar 23, 2018

[cortex-M] add single store instruction.
Mikael BRIDAY
committed

Commits on Mar 30, 2018

[cortex-M] add format/syntax part for ldr (wip)]
Mikael BRIDAY
committed
[cortex-M] bug fix
Mikael BRIDAY
committed

Commits on Apr 5, 2018

[cortex] instruction ‘load bytes and mem hints’. format and syntax. WiP.
Mikael BRIDAY
committed

Commits on Apr 10, 2018

[behavior test script] bug fix for python3
Mikael BRIDAY
committed

Commits on Apr 11, 2018

[Coretx-M behavior script test] bug fix for Python3
Mikael BRIDAY
committed
[Coretx-M behavior script test] bug fix2 for Python3
Mikael BRIDAY
committed

Commits on Apr 17, 2018

[cortex-M] doc of architecture of behaviorTest script
Mikael BRIDAY
committed

Commits on Apr 23, 2018

[cortex-M] test file for ADC with 3 registres
Mikael BRIDAY
committed

Commits on Apr 24, 2018

[Cortex-M model]. Support for Python3. Some tests should be done again on target…
Mikael BRIDAY
committed

Commits on Apr 25, 2018

[cortex-M example] gdb output updated for behavior test script (python 2 and 3 compatibility).
Mikael BRIDAY
committed

Commits on May 15, 2018

[cortexM] behavior test script better debugger integration
Mikael BRIDAY
committed
[cortexM] assembly test link script
Mikael BRIDAY
committed
Merge branch 'staticInfo' of https://github.com/mbriday/harmless into staticInfo
Mikael BRIDAY
committed
[CortexM] assembly tests defaults with Python3.
Mikael BRIDAY
committed
[cortexM] Load bytes, mem hints 32 bits instruction decode ok (tested.)
Mikael BRIDAY
committed
[cortexM] Load Half word 32 bits instruction decode Ok.
Mikael BRIDAY
committed
[cortexM] load word 32 bits instructions decode, tested.
Mikael BRIDAY
committed
[cortexM] start description of data Processing (reg).
Mikael BRIDAY
committed

Commits on May 23, 2018

bug fix in function exec generation
Mikael BRIDAY
committed

Commits on May 25, 2018

Commits on May 28, 2018

modifié : ../../../../../../buildHarmless.py
Ghyath25
committed

Commits on Jun 5, 2018

[cortexM] behavior of add.w. Not tested.
Mikael BRIDAY
committed
[cortexM] behavior test => init pb with openocd
Mikael BRIDAY
committed

Commits on Jun 6, 2018

Commits on Jun 14, 2018

modifié : test/behavior/json/instructions32bits/bicreg.json
Ghyath25
committed

Commits on Jun 18, 2018

Commits on Jun 19, 2018