Commits · f2d35f854a62b52815303e24017e59844c7681d0 · Open Source Software / SMPStaticAnalyzer

Oct 01, 2015
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  
  Former-commit-id: 89145fb392ec8c6d78453271328260cd95f88251
  f2d35f85
Sep 28, 2015

Updates to build system to fix errors in last rev. · 06848cb9
jdh8d authored 9 years ago
```
Former-commit-id: 81f754840b18027e840c18039fac078db6cd5c47
```
06848cb9

Changed default to build libstar.a for irdb. Added sanity checking with nice... · bba5595b

jdh8d authored 9 years ago

Changed default to build libstar.a for irdb.  Added sanity checking with nice error reporting if SEC_TRANS_HOME isnt set.

Former-commit-id: 72baf667c9bc05fdde17567bc18aac93156291af

bba5595b

Sep 26, 2015
- Fix SCCP by hitting lattice bottom on reads from memory. · 3af6e370
  clc5q authored 9 years ago
  
  Former-commit-id: b8d8b48d5d3c50a4153d7460c861d7d59291ea6d
  3af6e370
Sep 25, 2015
- Reworked to have irdb_transforms dir that can link in libstars. · 2320c43c
  jdh8d authored 9 years ago
  
  Former-commit-id: 7fc3f2e3bbcea45c2d9a0bc9e951a4a3cfe393a8
  2320c43c
- Moved SMPStaticAnalyzer.exe build to irdb_transforms for circular dependency reasons. · c21a6103
  jdh8d authored 9 years ago
  
  Former-commit-id: 7f6ecc09c45b976bcd2bc2a6538f161ee5080649
  c21a6103
- · e2387472
  jdh8d authored 9 years ago
  
  Former-commit-id: 22978d2a3f0d81f2516d9a9b253d8522204b8f77
  e2387472
- Bug fix: Retain original byte width for normalized stack operands. · c8befeea
  clc5q authored 9 years ago
  
  Former-commit-id: 49e1dbbf61159acd2919f55c0198b38cb29493e9
  c8befeea
Sep 24, 2015
- Continue SPARK Ada translation improvements at package and procedure level. · a7a94176
  clc5q authored 9 years ago
  
  Former-commit-id: 2735035e70eea9a8cedc0dfc0ee4f332035e16e9
  a7a94176
Sep 21, 2015
- · 3f75ccc5
  jdh8d authored 9 years ago
  
  Former-commit-id: 8b28f2fc77bb6dc6b82b48298bb5b5b76ea95359
  3f75ccc5
- Updates to supportr building a libstars.a to link into IRDB xforms. · 3c66cf4c
  jdh8d authored 9 years ago
  
  Former-commit-id: 7ecc43186ebacb853a9bf5cb1c9740255e69dbe2
  3c66cf4c
Sep 20, 2015

Committing missing .h file changes for GetReadOnlyMem and IsPushFromFixed · 700b5fef
jdh8d authored 9 years ago
```
Former-commit-id: 13496b1d2b5877956b27194cf31f26ae60c4acd8
```
700b5fef

renamed · 4ffe9f5f

jdh8d authored 9 years ago

Former-commit-id: 6fa3c88ba3ff6778254419395ec77b3e2115f757

4ffe9f5f

Updated some filenames to use consistent naming scheme. added... · 6d2046e6

jdh8d authored 9 years ago

Updated some filenames to use consistent naming scheme.  added GetReadOnlyMemValue functions.  Added IsPushFromFixedCall

Former-commit-id: 081187a342187ff52d77e725b0efd0bba3ec7cb4

6d2046e6

Sep 19, 2015
- Add STARS_Instruction_t::IsPushFromFixedCall() method as a placeholder for future work. · 792b127e
  clc5q authored 9 years ago
  
  Former-commit-id: 4c88321c97934f5111fc86775ef334fa98287c41
  792b127e
Sep 18, 2015
- More SPARK Ada translation improvements. · fc4a9f03
  clc5q authored 9 years ago
  
  Former-commit-id: 7cce2c3c80b7256ce696292b50b29aa4d8f86210
  fc4a9f03
Sep 11, 2015
- Find constant indirect call and jump targets using SCCP, output debug info. · 7b0a1841
  clc5q authored 9 years ago
  
  Former-commit-id: 893f24b12f193534a9e0ca4471e1140b6359fb82
  7b0a1841
Sep 10, 2015
- Improve SCCP by getting read-only data values for static memory operands. · fdb0e1cc
  clc5q authored 9 years ago
  
  Former-commit-id: 860482b9ee8961d00e13cba39eb742588ce2f18e
  fdb0e1cc
Sep 09, 2015
- Handle unsigned conditional jumps in SCCP. · a75b4a0d
  clc5q authored 9 years ago
  
  Former-commit-id: e7178a677234a15ed9fe68d66c4ed2bc50087f2d
  a75b4a0d
Sep 07, 2015
- Canonicalize 32-bit regs to 64-bit on 64-bit binaries. · 2a5ad929
  clc5q authored 9 years ago
  
  Former-commit-id: aec64f4807158c0f9b48f5e566bb31b6b0fee661
  2a5ad929
- Print 64-bit address reg for SPARK Ada even when operand widths are 32 bits. · 26307319
  clc5q authored 9 years ago
  
  Former-commit-id: 21f074ffaab5f05a95e8b7081fa8caff2bde0687
  26307319
Sep 05, 2015
- Emit package-level and function-level SPARK Ada translations. · acc384cb
  clc5q authored 9 years ago
  
  Former-commit-id: e4fcf957b283ada96f8632f0f709967591925dd5
  acc384cb
Aug 31, 2015

· 6ddae845

jdh8d authored 9 years ago

Former-commit-id: 680c1eb1c9fcbec1956fd6db1ce8f7c7b8568863

6ddae845

Aug 28, 2015

fixed ssa marker · d2eb91e5
jdh8d authored 9 years ago
```
Former-commit-id: b30de10332035a35615feeb5755f93c489695cf0
```
d2eb91e5

· f9102dd6

jdh8d authored 9 years ago

Former-commit-id: 8b412091f5ec0f28172ba08762c27332089f8725

f9102dd6

Aug 26, 2015
- update for movs[bwdq] -> movs for opcode naming, and fixes for lea memory operand · 2081ff51
  jdh8d authored 9 years ago
  
  Former-commit-id: 488ca74093ebcc735ad9242c1b6913e6286e3ef4
  2081ff51
- Add delay loop for attaching gdb. · a390e15c
  clc5q authored 9 years ago
  
  Former-commit-id: 173108a18f542a40fa9bcff060c5d493eda93a8b
  a390e15c
- updates for more bea->stars opcodes, comment fixes, install stars/irdb into... · 1bdceb57
  jdh8d authored 9 years ago
  
  updates for more bea->stars opcodes, comment fixes, install stars/irdb into sec_trans/plugins_install Former-commit-id: e272be1cd2c154c71642193af0b526a39078d5eb
  1bdceb57
Aug 24, 2015

Updated all call/jump/jcc/cmov insns to match what stars thinks. updated... · 08889310

jdh8d authored 9 years ago

Updated all call/jump/jcc/cmov insns to match what stars thinks.  updated call/jump/etc. operands to have the target instruction ID.

Former-commit-id: 6bf16696826ea603a1a1b8030c3b7678eeada28b

08889310

Aug 17, 2015

· fd072dba

jdh8d authored 9 years ago

Former-commit-id: a214a07e70faf053cdcb2d64c77e6d8e13289c89

fd072dba

· 7218e06f

jdh8d authored 9 years ago

Former-commit-id: f5ca342491271147979125a59f7bb50f1337d531

7218e06f

Aug 11, 2015
- sorta almost maybe kinda working of stars2irdb · d7a65f29
  jdh8d authored 9 years ago
  
  Former-commit-id: 246605014085c4e2ba88f9e03c6c0192bbab21f5
  d7a65f29
Aug 09, 2015
- half working? building some IR · 4e0f1d47
  jdh8d authored 9 years ago
  
  Former-commit-id: cc862d235b8ea40d8cad5b97ec66c17d8c3fe4b4
  4e0f1d47
Aug 08, 2015
- Get interprocedural killed regs info for chunked callees. · 428a0aee
  clc5q authored 9 years ago
  
  Former-commit-id: 265a6a671c6db617b5043879399b578f5a1f5505
  428a0aee
- Make reduced analysis threshold lower for STARS-IDA on 32-bit platforms. · af4bc8b3
  clc5q authored 9 years ago
  
  Former-commit-id: 0e9c94747b4c12e2e32833dca37f738e49e271be
  af4bc8b3
Aug 07, 2015
- Analyze metadata and infer types for chunked functions. · d82c7227
  clc5q authored 9 years ago
  
  Former-commit-id: 6034849fefc5a3a38c759fb5692b67907ad6942e
  d82c7227
- Build RTL for AMD syscall opcode. · db5a932c
  clc5q authored 9 years ago
  
  Former-commit-id: 3f76b4e865add3b0bbbbabfc7601442d8fd74ee2
  db5a932c
- Compute SSA form for chunked functions. · e54d1098
  clc5q authored 9 years ago
  
  Former-commit-id: ad363fe2c2c374cf8332c0616d72ca365fcc86eb
  e54d1098
- Stop kludging chunk analysis for functions with printf in their names. · c83a8f4e
  clc5q authored 9 years ago
  
  Former-commit-id: 738cfa044f02db90df609574d75ca733f019ec9e
  c83a8f4e
Aug 06, 2015
- Perform Live Variable Analysis on functions with shared chunks. · 55ee17bf
  clc5q authored 9 years ago
  
  Former-commit-id: 45ace968d4ff4fc2b5d0470261345677b08e9f6d
  55ee17bf