Commits · fbd753ca3e4adbd54bb834fad494a34558dd3568 · Open Source Software / SMPStaticAnalyzer

Dec 30, 2015
- Make static container a private member to fix STARSxrefs output. · fbd753ca
  clc5q authored 9 years ago
  
  Former-commit-id: d9155a035bb03d985d62903e14eb659b6d8fbbfa
  fbd753ca
- AddCallSource() for direct jump tail calls. · 2d361feb
  clc5q authored 9 years ago
  
  Former-commit-id: 0fec9b738653bdb092ff4caebd22160f81580dfd
  2d361feb
Dec 27, 2015
- Function pointer shadowing annotations. · 2a362ebc
  clc5q authored 9 years ago
  
  Former-commit-id: 24abe92076820fd34a5e749eece1557a52007f26
  2a362ebc
Dec 25, 2015
- Partial commit of function pointer shadowing logic. · b84c5ffb
  clc5q authored 9 years ago
  
  Former-commit-id: 4dbe1e2891ae337b9881a4212baa8afffc434c2e
  b84c5ffb
Dec 17, 2015
- Build precise RTLs for SETcc opcodes. · 3c072020
  clc5q authored 9 years ago
  
  Former-commit-id: 906619b04ad832a20c46ed29db0de5a46752f94d
  3c072020
- Handle CallTarget assignment for fixed call jumps. · 7c61c7b9
  clc5q authored 9 years ago
  
  Former-commit-id: e2d651259b3cdff5ab7ead0824c7332175ae385f
  7c61c7b9
- Fix IRDB assertion. · 1b54a54b
  clc5q authored 9 years ago
  
  Former-commit-id: 48b6dfced6fa7bb26d74c82acdc810009bcdf0bd
  1b54a54b
Dec 16, 2015
- 32-bit moves into 64-bit regs zero out upper half of reg; take into account in DEF-USE chains. · a570f2a1
  clc5q authored 9 years ago
  
  Former-commit-id: a79cd481336182a6e81bf61f5ed96996b607034b
  a570f2a1
- Handle DEF-USE chains properly for subreg moves, which USE the DEF register by... · 3f8a44ee
  clc5q authored 9 years ago
  
  Handle DEF-USE chains properly for subreg moves, which USE the DEF register by leaving upper bits unchanged. Former-commit-id: 587f4ce223f7edc5118bd40fbefbf844abe438f6
  3f8a44ee
Dec 15, 2015
- Output return instruction targets to *.STARSxrefs files. · 34ce76e2
  clc5q authored 9 years ago
  
  Former-commit-id: aaf1efd938f0cf307ff6cfaf693e8e937aaf419e
  34ce76e2
Dec 14, 2015
- Emit new COMPLETE annotations in *.STARSxrefs files. · 689ab1cb
  clc5q authored 9 years ago
  
  Former-commit-id: c80168bd4f04a0fe90c69ec9076d8be10f7c5280
  689ab1cb
Dec 12, 2015
- Fix logic error that classifies certain lea instructions as no-ops. · b23127f5
  clc5q authored 9 years ago
  
  Former-commit-id: be0a6cabe4f1e278f953654bb28354e886a97941
  b23127f5
Dec 11, 2015
- Fixes for dealing with scalefactor 0-4 instead of 1,2,4,8 · 1cc1e2e3
  jdh8d authored 9 years ago
  
  Former-commit-id: 3ae0a9ef1cafdc3ee7cc3d7c4d46ff5f9f08cf02
  1cc1e2e3
- Specify floating point RTL operators for add, sub, mul, divide. · 5bde654f
  clc5q authored 9 years ago
  
  Former-commit-id: d4697a2c4e84412c9c16b5f04e3138ebd981d356
  5bde654f
Dec 10, 2015
- Declare live metadata when a DEF reaches a BranchToOtherFunc. · 4494c317
  clc5q authored 9 years ago
  
  Former-commit-id: cd54afbe4d9911ca8080d1b5ac4aaf53a6046540
  4494c317
- Eliminate IsFarBranch logic in IRDB or common code. · 4133f998
  clc5q authored 9 years ago
  
  Former-commit-id: 8ab7eaf73c6cae02cdfb74331391bb04c6cc3c82
  4133f998
Dec 09, 2015

Handle branches and jumps to distant funcs before we have marked tail calls... · 3eabcd45

clc5q authored 9 years ago

Handle branches and jumps to distant funcs before we have marked tail calls (phase ordering issue) in MDFixupDefUseLists().

Former-commit-id: d059227e68af07af631bec63d0a8d5e0a41bbeb9

3eabcd45

Treat branches to distant functions as tail calls when adjusting DEF and USE... · 40ac17dd

clc5q authored 9 years ago

Treat branches to distant functions as tail calls when adjusting DEF and USE lists before tail calls are detected.

Former-commit-id: 73a5f4afb47b2bae34030212ac700e2370a70703

40ac17dd

Dec 07, 2015
- Handle HALT instruction lack of fall-through properly in SMPFunction::SetLinks(). · 640c7f89
  clc5q authored 9 years ago
  
  Former-commit-id: 0bfaa86e2c63179454871d007b189ea03d2b5f09
  640c7f89
Dec 04, 2015
- Fixes and cleanups for SPARK Ada translation. · 0c9e73fd
  clc5q authored 9 years ago
  
  Former-commit-id: 1e20c1306f474f69e082dbe7ee97644df311a360
  0c9e73fd
Dec 03, 2015
- Clean up running and termination of STARS plugin. · e2a1e3e1
  clc5q authored 9 years ago
  
  Former-commit-id: a2286dc49978162bd9b1fb577dfe2b4c09dd9139
  e2a1e3e1
Dec 02, 2015
- Update 64-bit annotation files after DEADREGS changes. · 2976cb33
  clc5q authored 9 years ago
  
  Former-commit-id: c08a0399accdbb00339ca124ef56c7079b6aaf6a
  2976cb33
- Add x86-64 callee-saved regs to return instruction USEs lists. · 634f1c3d
  clc5q authored 9 years ago
  
  Former-commit-id: 9db9cbda545cf58b1652a33391cf9101331bc190
  634f1c3d
- Add x86-64 caller-saved regs to return statement USE lists. · 301ca121
  clc5q authored 9 years ago
  
  Former-commit-id: 60cf80ed5cf437754a2a53f91c79a3ef97d030b5
  301ca121
Dec 01, 2015
- Better safeguard for call to GetNextInstructionID() in INDIR_JUMP case with no... · 707b1dc6
  clc5q authored 9 years ago
  
  Better safeguard for call to GetNextInstructionID() in INDIR_JUMP case with no fall-through instruction. Former-commit-id: 66b1d3656c858024caa44655e595b12fa79ebb7f
  707b1dc6
- fixed indir jmps/calls to return the near version instead of the direct version · c4f5ffd0
  jdh8d authored 9 years ago
  
  Former-commit-id: 8fbb3bb5a9d9af9fef20c532738ed8746f06b16b
  c4f5ffd0
Nov 30, 2015
- Constrain code xrefs to the real code range, not including XTRN segments. · 35ccd8e0
  clc5q authored 9 years ago
  
  Former-commit-id: 0dbc2a10bd350e98f165b3c7b74bd82f3357e362
  35ccd8e0
- DEADREGS fix; don't prune USEs from calls to linker stub functions. · 0c9e4a39
  clc5q authored 9 years ago
  
  Former-commit-id: 62799f70e51eab62ebd5278711f60756e0527e2d
  0c9e4a39
- Updates for dealing with IBs in STARS/irdb · 12fe017e
  jdh8d authored 9 years ago
  
  Former-commit-id: 11589cbc99400d4999707776d0190475cdef0867
  12fe017e
Nov 27, 2015
- Debugging updates for get_root_filename() problems. · 0aa40c22
  clc5q authored 9 years ago
  
  Former-commit-id: 2c9ee1a9c8b3161e2d83ff0741cddfd8261a5a4d
  0aa40c22
Nov 25, 2015
- Mark mutually recursive funcs; output postconditions for preserved regs. · bc382ff0
  clc5q authored 9 years ago
  
  Former-commit-id: 5ddb7481bebc56fd4cdc115971c25c127c07a894
  bc382ff0
Nov 19, 2015
- Conditional statement translation. · 13820827
  clc5q authored 9 years ago
  
  Former-commit-id: c562de85f1e6b027d824d25d5aca65907e35a5c4
  13820827
Nov 18, 2015

Translate if-then-else to SPARK Ada. · 2ab283a3
clc5q authored 9 years ago
```
Former-commit-id: 3f7a0a96e6e60dcbed9cce91ad303b5a7d7dedb1
```
2ab283a3

Updated call to get_root_filename to default to a.ncexe.log and report error... · 8487a0ba

jdh8d authored 9 years ago

Updated call to get_root_filename to default to a.ncexe.log and report error msg for RHEL with ida 6.8

Former-commit-id: 694b2b72bfe0f3698dd1b751bffdcf87b15df34d

8487a0ba

Nov 17, 2015
- Continue switch statement translation. · e3005c37
  clc5q authored 9 years ago
  
  Former-commit-id: ccb23cf6450fc178575cf9a7e66ee7b81dc1f7dc
  e3005c37
Nov 16, 2015
- Make DetermineRootFilename() more robust. · 21482b56
  clc5q authored 9 years ago
  
  Former-commit-id: eb7f8e22d9eca5ab8b7d88a5593222ad8bacb146
  21482b56
Nov 15, 2015
- Keep switch analysis from changing annotations related to loop analysis. · ed74bc4f
  clc5q authored 9 years ago
  
  Former-commit-id: 97a4b7b36174448ae6fdc831fd3d5b2d21c8f6ac
  ed74bc4f
Nov 14, 2015
- Continue switch statement analysis and translation. · 3d1238dc
  clc5q authored 9 years ago
  
  Former-commit-id: 492334b4bcf3ebd071b174fe7627cb069cff5e38
  3d1238dc
Nov 09, 2015
- Add more debugging output. · dd68f925
  clc5q authored 9 years ago
  
  Former-commit-id: f1abafcd421bcf97c8cf8da323f8984a4bb9db6a
  dd68f925
- Fix linkage of fixed-call pushes to inst IDs. · d656e999
  clc5q authored 9 years ago
  
  Former-commit-id: d2f7475c267a1f396e29b2b9dc4a26a40ef5e509
  d656e999