Commits · 5bde654fea346a0c9a55a154a4e97c85e5ff54c6 · Open Source Software / SMPStaticAnalyzer

Dec 11, 2015
- 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
- Fix assertion. · 4b0c5f62
  clc5q authored 9 years ago
  
  Former-commit-id: 8346f1aa61ec5d36ed7173c638e275d32b4a4644
  4b0c5f62
- Link fall-through blocks after fixed calls. · 2c9484e0
  clc5q authored 9 years ago
  
  Former-commit-id: dcc75d83b7b5bfcd9a2d4f11a08e310f702b523e
  2c9484e0
- Extend fix on DEF of EAX not being removed on call instructions. · 9bba4936
  clc5q authored 9 years ago
  
  Former-commit-id: c10f83be003712e503f90375e255a145589e34be
  9bba4936
Nov 08, 2015
- Avoid removing the return value reg from the DEFs list of call instructions. · b1c16bc7
  clc5q authored 9 years ago
  
  Former-commit-id: 317b1daa878400a5b3313e228b06244af9afc01d
  b1c16bc7
- Fix DEF-USE issues with call instructions. · b5730161
  clc5q authored 9 years ago
  
  Former-commit-id: 6e6cae12d865c0719212d21e7f70f8ab7f02b3fa
  b5730161
Nov 07, 2015
- Guard against calls to GetNextInstructionID() for fixed-call jumps, which have... · 372e823a
  clc5q authored 9 years ago
  
  Guard against calls to GetNextInstructionID() for fixed-call jumps, which have no IRDB fall-through. Former-commit-id: 6fc28e6bdc4ab7e42f11339fb526191b8e7984f1
  372e823a
- Fix for GetCallTarget() for fixed call jumps. · b4fd0817
  clc5q authored 9 years ago
  
  Former-commit-id: a0d8d222cb5d3b2b2df328a4609c98f01fc9f78c
  b4fd0817
- Add debugging output. · a58790c6
  clc5q authored 9 years ago
  
  Former-commit-id: 6422f9034f7dfb2cafe209a6e19b47e95cf3e1fa
  a58790c6
- Remove extraneous virtual keyword. · 71aabf79
  clc5q authored 9 years ago
  
  Former-commit-id: 4c2f600d40b1a8e0b2adb8b4c77ebede6801076e
  71aabf79
- Continue fixed call analysis. · 6d4da2c5
  clc5q authored 9 years ago
  
  Former-commit-id: f18f1c70c37c34a59f19a914886dd03ffdcff71e
  6d4da2c5
Nov 05, 2015
- Continue translation work. · e66a39f9
  clc5q authored 9 years ago
  
  Former-commit-id: 2bacec87938e28638ba8856183fc8a24c8e48b48
  e66a39f9
Nov 04, 2015

Added changes to support IsInstIDInFunc better, and implemented a... · 47fa981f

jdh8d authored 9 years ago

Added changes to support IsInstIDInFunc better, and implemented a GetReferencedInstructionID method to STARS_Instruction_t.

Former-commit-id: 2d289cd76e27c69cc2f24080c32a8730a9d1a6b9

47fa981f

Oct 31, 2015
- SPARK Ada improvements for sign- and zero-extension and unary minus operands. · be49e528
  clc5q authored 9 years ago
  
  Former-commit-id: 7392478342634d9213189b9433af6f359bd744e2
  be49e528