Ghyath25 static info #1

Ghyath25 · 2018-06-06T01:27:12Z

No description provided.

…finedStatically’ fields.

… dependancies between writes…

* Update getIdf getter in expressions and add a getter * add hasMemAccess getter for both expressions and instructions.

…tion.

…ment.

…unction calls.

…parts.

…n on target…

…n 2 and 3 compatibility).

… staticInfo

JSON files for 32 bits instructions

modifié : ../../../cortex-armv6-M.isa nouveau fichier : instructions32bits/BFC.json nouveau fichier : instructions32bits/BFC.json.elf nouveau fichier : instructions32bits/BFC.json.o nouveau fichier : instructions32bits/BFC.json.s nouveau fichier : instructions32bits/BFI.json nouveau fichier : instructions32bits/BFI.json.elf nouveau fichier : instructions32bits/BFI.json.o nouveau fichier : instructions32bits/BFI.json.s nouveau fichier : instructions32bits/SBFX.json nouveau fichier : instructions32bits/SBFX.json.elf nouveau fichier : instructions32bits/SBFX.json.o nouveau fichier : instructions32bits/SBFX.json.s nouveau fichier : instructions32bits/UBFX.json nouveau fichier : instructions32bits/UBFX.json.elf nouveau fichier : instructions32bits/UBFX.json.o nouveau fichier : instructions32bits/UBFX.json.s nouveau fichier : instructions32bits/adc(test2).json nouveau fichier : instructions32bits/adc3reg.json nouveau fichier : instructions32bits/adc3reg.json.elf nouveau fichier : instructions32bits/adc3reg.json.o nouveau fichier : instructions32bits/adc3reg.json.s nouveau fichier : instructions32bits/adcimm.json nouveau fichier : instructions32bits/adcimm.json.elf nouveau fichier : instructions32bits/adcimm.json.o nouveau fichier : instructions32bits/adcimm.json.s nouveau fichier : instructions32bits/adcreg.json nouveau fichier : instructions32bits/adcreg.json.elf nouveau fichier : instructions32bits/adcreg.json.o nouveau fichier : instructions32bits/adcreg.json.s nouveau fichier : instructions32bits/add2regt3.json nouveau fichier : instructions32bits/add2regt3.json.s nouveau fichier : instructions32bits/addimm.json nouveau fichier : instructions32bits/addimm.json.elf nouveau fichier : instructions32bits/addimm.json.o nouveau fichier : instructions32bits/addimm.json.s nouveau fichier : instructions32bits/addimmt4.json nouveau fichier : instructions32bits/addimmt4.json.elf nouveau fichier : instructions32bits/addimmt4.json.o nouveau fichier : instructions32bits/addimmt4.json.s nouveau fichier : instructions32bits/addreg.json nouveau fichier : instructions32bits/addreg.json.elf nouveau fichier : instructions32bits/addreg.json.gdb nouveau fichier : instructions32bits/addreg.json.o nouveau fichier : instructions32bits/addreg.json.s nouveau fichier : instructions32bits/addreg.json_output.gdb nouveau fichier : instructions32bits/addreg.json_output.gdb.zip nouveau fichier : instructions32bits/addreg.json_output.harmless nouveau fichier : instructions32bits/adr(test3).json nouveau fichier : instructions32bits/adrt2**.json nouveau fichier : instructions32bits/andimm.json nouveau fichier : instructions32bits/andreg.json nouveau fichier : instructions32bits/andreg.json.elf nouveau fichier : instructions32bits/andreg.json.o nouveau fichier : instructions32bits/andreg.json.s nouveau fichier : instructions32bits/andreg2.json nouveau fichier : instructions32bits/andreg2.json.s nouveau fichier : instructions32bits/bfcimm**.json nouveau fichier : instructions32bits/bfiimm**.json nouveau fichier : instructions32bits/bicimm.json nouveau fichier : instructions32bits/bicimm.json.elf nouveau fichier : instructions32bits/bicimm.json.o nouveau fichier : instructions32bits/bicimm.json.s nouveau fichier : instructions32bits/bicreg.json nouveau fichier : instructions32bits/bicreg.json.elf nouveau fichier : instructions32bits/bicreg.json.o nouveau fichier : instructions32bits/bicreg.json.s nouveau fichier : instructions32bits/cmnimm.json nouveau fichier : instructions32bits/cmnimm.json.elf nouveau fichier : instructions32bits/cmnimm.json.o nouveau fichier : instructions32bits/cmnimm.json.s nouveau fichier : instructions32bits/cmnreg.json nouveau fichier : instructions32bits/cmnreg.json.elf nouveau fichier : instructions32bits/cmnreg.json.o nouveau fichier : instructions32bits/cmnreg.json.s nouveau fichier : instructions32bits/cmnreg2.json nouveau fichier : instructions32bits/cmnreg2.json.s nouveau fichier : instructions32bits/cmpimm.json nouveau fichier : instructions32bits/cmpimm.json.elf nouveau fichier : instructions32bits/cmpimm.json.o nouveau fichier : instructions32bits/cmpimm.json.s nouveau fichier : instructions32bits/cmpreg.json nouveau fichier : instructions32bits/eorimm.json nouveau fichier : instructions32bits/eorimm.json.elf nouveau fichier : instructions32bits/eorimm.json.o nouveau fichier : instructions32bits/eorimm.json.s nouveau fichier : instructions32bits/eorreg.json nouveau fichier : instructions32bits/eorreg.json.elf nouveau fichier : instructions32bits/eorreg.json.o nouveau fichier : instructions32bits/eorreg.json.s nouveau fichier : instructions32bits/mov(test4).json nouveau fichier : instructions32bits/movimm.json nouveau fichier : instructions32bits/movimm.json.elf nouveau fichier : instructions32bits/movimm.json.o nouveau fichier : instructions32bits/movimm.json.s nouveau fichier : instructions32bits/movimm2.json nouveau fichier : instructions32bits/movimm2.json.elf nouveau fichier : instructions32bits/movimm2.json.o nouveau fichier : instructions32bits/movimm2.json.s nouveau fichier : instructions32bits/movimmt2**.json nouveau fichier : instructions32bits/movimmt3**.json nouveau fichier : instructions32bits/movreg.json nouveau fichier : instructions32bits/movreg.json.elf nouveau fichier : instructions32bits/movreg.json.o nouveau fichier : instructions32bits/movreg.json.s nouveau fichier : instructions32bits/movt.json nouveau fichier : instructions32bits/movt.json.elf nouveau fichier : instructions32bits/movt.json.o ouveau fichier : instructions32bits/movt.json.s ouveau fichier : instructions32bits/movtimm**.json nouveau fichier : instructions32bits/mvnimm.json nouveau fichier : instructions32bits/mvnimm.json.elf nouveau fichier : instructions32bits/mvnimm.json.o nouveau fichier : instructions32bits/mvnimm.json.s nouveau fichier : instructions32bits/mvnreg.json nouveau fichier : instructions32bits/mvnreg.json.elf nouveau fichier : instructions32bits/mvnreg.json.o nouveau fichier : instructions32bits/mvnreg.json.s nouveau fichier : instructions32bits/ornimm.json nouveau fichier : instructions32bits/ornimm.json.elf nouveau fichier : instructions32bits/ornimm.json.o nouveau fichier : instructions32bits/ornimm.json.s nouveau fichier : instructions32bits/ornreg.json nouveau fichier : instructions32bits/ornreg.json.elf nouveau fichier : instructions32bits/ornreg.json.o nouveau fichier : instructions32bits/ornreg.json.s nouveau fichier : instructions32bits/orrimm.json nouveau fichier : instructions32bits/orrimm.json.elf nouveau fichier : instructions32bits/orrimm.json.o nouveau fichier : instructions32bits/orrimm.json.s nouveau fichier : instructions32bits/orrreg.json nouveau fichier : instructions32bits/orrreg.json.elf nouveau fichier : instructions32bits/orrreg.json.o nouveau fichier : instructions32bits/orrreg.json.s nouveau fichier : instructions32bits/rsbimm.json nouveau fichier : instructions32bits/rsbimm.json.elf nouveau fichier : instructions32bits/rsbimm.json.o nouveau fichier : instructions32bits/rsbimm.json.s nouveau fichier : instructions32bits/rsbreg.json nouveau fichier : instructions32bits/rsbreg.json.elf nouveau fichier : instructions32bits/rsbreg.json.o nouveau fichier : instructions32bits/rsbreg.json.s nouveau fichier : instructions32bits/sbcimm.json nouveau fichier : instructions32bits/sbcimm.json.elf nouveau fichier : instructions32bits/sbcimm.json.o nouveau fichier : instructions32bits/sbcimm.json.s nouveau fichier : instructions32bits/sbcreg.json nouveau fichier : instructions32bits/sbcreg.json.elf nouveau fichier : instructions32bits/sbcreg.json.o nouveau fichier : instructions32bits/sbcreg.json.s nouveau fichier : instructions32bits/ssat.json nouveau fichier : instructions32bits/ssat.json.elf nouveau fichier : instructions32bits/ssat.json.o nouveau fichier : instructions32bits/ssat.json.s nouveau fichier : instructions32bits/ssat16.json nouveau fichier : instructions32bits/ssat16.json.elf nouveau fichier : instructions32bits/ssat16.json.o nouveau fichier : instructions32bits/ssat16.json.s nouveau fichier : instructions32bits/sub(test5).json nouveau fichier : instructions32bits/subimm.json nouveau fichier : instructions32bits/subimm.json.elf nouveau fichier : instructions32bits/subimm.json.o nouveau fichier : instructions32bits/subimm.json.s nouveau fichier : instructions32bits/subimmt3**.json nouveau fichier : instructions32bits/subimmt4**.json nouveau fichier : instructions32bits/subimmt4.json nouveau fichier : instructions32bits/subimmt4.json.elf nouveau fichier : instructions32bits/subimmt4.json.o nouveau fichier : instructions32bits/subimmt4.json.s nouveau fichier : instructions32bits/subreg.json nouveau fichier : instructions32bits/subreg.json.elf nouveau fichier : instructions32bits/subreg.json.o nouveau fichier : instructions32bits/subreg.json.s nouveau fichier : instructions32bits/teqimm.json nouveau fichier : instructions32bits/teqimm.json.elf nouveau fichier : instructions32bits/teqimm.json.o nouveau fichier : instructions32bits/teqimm.json.s nouveau fichier : instructions32bits/teqreg.json nouveau fichier : instructions32bits/teqreg.json.elf nouveau fichier : instructions32bits/teqreg.json.o nouveau fichier : instructions32bits/teqreg.json.s nouveau fichier : instructions32bits/tstimm.json nouveau fichier : instructions32bits/tstimm.json.elf nouveau fichier : instructions32bits/tstimm.json.o nouveau fichier : instructions32bits/tstimm.json.s nouveau fichier : instructions32bits/tstreg.json nouveau fichier : instructions32bits/tstreg.json.elf nouveau fichier : instructions32bits/tstreg.json.o nouveau fichier : instructions32bits/tstreg.json.s nouveau fichier : instructions32bits/usat.json nouveau fichier : instructions32bits/usat.json.elf nouveau fichier : instructions32bits/usat.json.o nouveau fichier : instructions32bits/usat.json.s nouveau fichier : instructions32bits/usat16.json nouveau fichier : instructions32bits/usat16.json.elf nouveau fichier : instructions32bits/usat16.json.o nouveau fichier : instructions32bits/usat16.json.s nouveau fichier : instructions32bits/usat16imm**.json modifié : ../../../../../templates/Makefile_2.gadlTemplate modifié : ../../../../../xcode-project/gadl.xcodeproj/project.pbxproj Fichiers non suivis: ../../../../../makefile-macosx/build+lto.py ../../../../../makefile-unix/build+lto.py ../../../../../makefile-unix/gadl-debug

modifié : test/behavior/behaviorTest.py modifié : test/behavior/json/instructions32bits/BFC.json modifié : test/behavior/json/instructions32bits/BFI.json modifié : test/behavior/json/instructions32bits/addimm.json modifié : test/behavior/json/instructions32bits/addimm.json.elf supprimé : test/behavior/json/instructions32bits/addimm.json.o supprimé : test/behavior/json/instructions32bits/addimm.json.s modifié : test/behavior/json/instructions32bits/addreg.json modifié : test/behavior/json/instructions32bits/addreg.json.elf supprimé : test/behavior/json/instructions32bits/addreg.json.gdb supprimé : test/behavior/json/instructions32bits/addreg.json.o supprimé : test/behavior/json/instructions32bits/addreg.json.s modifié : test/behavior/json/instructions32bits/addreg.json_output.gdb modifié : test/behavior/json/instructions32bits/addreg.json_output.gdb.zip modifié : test/behavior/json/instructions32bits/addreg.json_output.harmless supprimé : test/behavior/json/instructions32bits/cmnreg.json.o supprimé : test/behavior/json/instructions32bits/cmnreg.json.s supprimé : test/behavior/json/instructions32bits/movimm.json.elf supprimé : test/behavior/json/instructions32bits/movimm.json.o supprimé : test/behavior/json/instructions32bits/movimm.json.s modifié : test/behavior/json/instructions32bits/movreg.json supprimé : test/behavior/json/instructions32bits/movreg.json.elf supprimé : test/behavior/json/instructions32bits/movreg.json.o supprimé : test/behavior/json/instructions32bits/movreg.json.s modifié : test/behavior/json/instructions32bits/movt.json supprimé : test/behavior/json/instructions32bits/movt.json.o supprimé : test/behavior/json/instructions32bits/movt.json.s modifié : test/behavior/json/instructions32bits/ssat.json modifié : test/behavior/json/instructions32bits/ssat.json.elf supprimé : test/behavior/json/instructions32bits/ssat.json.o supprimé : test/behavior/json/instructions32bits/ssat.json.s modifié : test/behavior/json/instructions32bits/ssat16.json modifié : test/behavior/json/instructions32bits/subimm.json modifié : test/behavior/json/instructions32bits/subimm.json.elf supprimé : test/behavior/json/instructions32bits/subimm.json.o supprimé : test/behavior/json/instructions32bits/subimm.json.s modifié : test/behavior/json/instructions32bits/usat16.json test/behavior/json/instructions32bits/addimm.json_output.gdb test/behavior/json/instructions32bits/addimm.json_output.gdb.zip test/behavior/json/instructions32bits/addimm.json_output.harmless test/behavior/json/instructions32bits/cmnreg.json_output.gdb test/behavior/json/instructions32bits/cmnreg.json_output.gdb.zip test/behavior/json/instructions32bits/cmnreg.json_output.harmless test/behavior/json/instructions32bits/movimm.json_output.gdb.zip test/behavior/json/instructions32bits/movreg.json_output.gdb.zip test/behavior/json/instructions32bits/movt.json_output.gdb test/behavior/json/instructions32bits/movt.json_output.gdb.zip test/behavior/json/instructions32bits/movt.json_output.harmless test/behavior/json/instructions32bits/ssat.json_output.gdb test/behavior/json/instructions32bits/ssat.json_output.gdb.zip test/behavior/json/instructions32bits/ssat.json_output.harmless test/behavior/json/instructions32bits/subimm.json_output.gdb test/behavior/json/instructions32bits/subimm.json_output.gdb.zip test/behavior/json/instructions32bits/subimm.json_output.harmless test/behavior/json/instructions32bits/usat.json.gdb test/behavior/json/instructions32bits/usat.json_output.gdb ../../makefile-macosx/build+lto.py ../../makefile-unix/build+lto.py ../../makefile-unix/gadl-debug

… ghyath25-staticInfo

modifié : test/behavior/json/instructions32bits/eorreg.json modifié : test/behavior/json/instructions32bits/mvnreg.json modifié : test/behavior/json/instructions32bits/ornreg.json modifié : test/behavior/json/instructions32bits/orrreg.json modifié : test/behavior/json/instructions32bits/teqreg.json

modifié : test/behavior/behaviorTest.py modifié : test/behavior/json/instructions32bits/addimm.json modifié : test/behavior/json/instructions32bits/addimm.json.elf modifié : test/behavior/json/instructions32bits/movreg.json modifié : test/behavior/json/instructions32bits/subimm.json supprimé : test/behavior/json/instructions32bits/subimm.json.elf .cortex-armv6-M.isa.swo test/behavior/json/instructions32bits/addimm.json.o test/behavior/json/instructions32bits/addimm.json.s test/behavior/json/instructions32bits/addimm.json_output.gdb test/behavior/json/instructions32bits/addimm.json_output.gdb.zip test/behavior/json/instructions32bits/addimm.json_output.harmless test/behavior/json/instructions32bits/subimm.json_output.gdb.zip

nouveau fichier : test/behavior/json/instructions32bits/addimm.json.o nouveau fichier : test/behavior/json/instructions32bits/addimm.json.s nouveau fichier : test/behavior/json/instructions32bits/addimm.json_output.gdb nouveau fichier : test/behavior/json/instructions32bits/addimm.json_output.gdb.zip nouveau fichier : test/behavior/json/instructions32bits/addimm.json_output.harmless nouveau fichier : test/behavior/json/instructions32bits/subimm.json_output.gdb.zip

modifié : ../../cortex-armv6-M.isa supprimé : json/instructions32bits/addimm.json.elf supprimé : json/instructions32bits/addimm.json.o supprimé : json/instructions32bits/addimm.json.s supprimé : json/instructions32bits/addimm.json_output.gdb supprimé : json/instructions32bits/addimm.json_output.harmless modifié : json/instructions32bits/movt.json supprimé : json/instructions32bits/movt.json.elf modifié : json/instructions32bits/ssat.json modifié : json/instructions32bits/ssat.json.elf json/instructions32bits/movt.json_output.gdb.zip json/instructions32bits/ssat.json_output.gdb json/instructions32bits/ssat.json_output.gdb.zip json/instructions32bits/ssat.json_output.harmless ../../../../makefile-unix/gadl-debug

nouveau fichier : ssat.json_output.gdb nouveau fichier : ssat.json_output.gdb.zip nouveau fichier : ssat.json_output.harmless ../../../../../../makefile-unix/gadl-debug

Mikaël Briday added 30 commits June 2, 2016 13:50

work in progress.

082850d

update ppc isa: no out in components supported yet.

9cb1d73

update static analysis for instruction ‘if bloc’

833f96b

static analysis. Start to detect const…

2f62ab0

update ambiguous ‘isConst’ parameter for expIdf to ‘shouldNotAssign’

21ce8cb

update expIdf to remove ‘isConst’ and add ‘shouldNotAssign’ and ‘isDe…

e97bdc5

…finedStatically’ fields.

[galgas] Fix syntax for galgas 3.2.6

f6118be

[static analysis] whip

97325fa

[static analysis] fix bug: a var if a var is written many times, with…

54a8078

… dependancies between writes…

wip static analysis

a68d352

* Update getIdf getter in expressions and add a getter * add hasMemAccess getter for both expressions and instructions.

log: add the ‘harmlessCode’ gutter for debug purpose

4893744

static analysis fix bugs and generate basic analysis for each instruc…

5a93a39

…tion.

static analysis is now exported as an HTML page through templates

d622990

update func « harmlessCode ».

1487da1

detect global me write access

3358204

move static detection from ISA to core.

3e25b73

add memChunk into static analysis.

40e7215

move generated dot files into log/dot/

8320483

static info: detect correctly memory write access (give the mem space).

367c493

[staticInfo] detect dependency on memSpaces (read) in register assign…

4da3696

…ment.

fix bug in static info for mem space read.

6ee3a82

ISA - add methods for instructions to get fields values.

b9c3401

build script for Harmless either works with python 2 and 3.

71a7d0c

[build] remove unneeded debug message

bb2c771

[static analysis] trace memory address/value in addition to registers.

a868533

Bug fix: the getIdf method for expressions did not handle correctly f…

25e944a

…unction calls.

[log] update harmlessCode getter to get also the code line

fcd17b0

display ‘field’ keyword in harmlessCode.

23d5a22

[gadl format] fix bug when there is an offset to a slice on multiple …

cd3bb75

…parts.

Cortex-M model. Work in progress with syntax (16 bits ISA only)

bb21252

Mikael BRIDAY and others added 30 commits April 10, 2018 18:21

[behavior test script] bug fix for python3

8972112

[Coretx-M behavior script test] bug fix for Python3

9ac8d42

[Coretx-M behavior script test] bug fix2 for Python3

4184687

[cortex-M] doc of architecture of behaviorTest script

5052a6d

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

5312175

[Cortex-M model]. Support for Python3. Some tests should be done agai…

d06d61c

…n on target…

[cortex-M example] gdb output updated for behavior test script (pytho…

c421bca

…n 2 and 3 compatibility).

[cortexM] behavior test script better debugger integration

a790a95

[cortexM] assembly test link script

e585ef2

Merge branch 'staticInfo' of https://github.com/mbriday/harmless into…

4546a78

… staticInfo

[CortexM] assembly tests defaults with Python3.

dd9a34b

[cortexM] Load bytes, mem hints 32 bits instruction decode ok (tested.)

72eb36b

[cortexM] Load Half word 32 bits instruction decode Ok.

15c1877

[cortexM] load word 32 bits instructions decode, tested.

6f2466c

[cortexM] start description of data Processing (reg).

653b504

bug fix in function exec generation

14104f8

initial commit

30da1b5

JSON files for 32 bits instructions

1fbfc97

JSON files for 32 bits instructions

[cortexM] behavior of add.w. Not tested.

837067e

[cortexM] behavior test => init pb with openocd

fabe8d5

Merge branch 'staticInfo' of https://github.com/mbriday/harmless into…

de970d6

… ghyath25-staticInfo

../../makefile-unix/gadl-debug

c857186

nouveau fichier : movt.json_output.gdb.zip

bed44a9

nouveau fichier : ssat.json_output.gdb nouveau fichier : ssat.json_output.gdb.zip nouveau fichier : ssat.json_output.harmless ../../../../../../makefile-unix/gadl-debug

nouveau fichier : gadl-debug

f2d26b8

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Ghyath25 static info #1

Ghyath25 static info #1

Uh oh!

Ghyath25 commented Jun 6, 2018

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Ghyath25 static info #1

Are you sure you want to change the base?

Ghyath25 static info #1

Uh oh!

Conversation

Ghyath25 commented Jun 6, 2018

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant