Commits · e2a1e3e1783f9bb093f3094713c7b4b78d225aad · Open Source Software / SMPStaticAnalyzer

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
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
Nov 17, 2015
- Continue switch statement translation. · e3005c37
  clc5q authored 9 years ago
  
  Former-commit-id: ccb23cf6450fc178575cf9a7e66ee7b81dc1f7dc
  e3005c37
Nov 14, 2015
- Continue switch statement analysis and translation. · 3d1238dc
  clc5q authored 9 years ago
  
  Former-commit-id: 492334b4bcf3ebd071b174fe7627cb069cff5e38
  3d1238dc
Nov 09, 2015
- Link fall-through blocks after fixed calls. · 2c9484e0
  clc5q authored 9 years ago
  
  Former-commit-id: dcc75d83b7b5bfcd9a2d4f11a08e310f702b523e
  2c9484e0
Nov 07, 2015
- 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
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
Oct 29, 2015
- Remove extraneous inline keyword. · c5daca8b
  clc5q authored 9 years ago
  
  Former-commit-id: 72386e0bad48bf3a7eac1acf0353752586257e2d
  c5daca8b
- Continue work on handling calls that were fixed into a push and jump pair. · cad2ae4a
  clc5q authored 9 years ago
  
  Former-commit-id: 31fb3029528261ca60377215066dbdaf5e7d2950
  cad2ae4a
Oct 27, 2015
- Improve loop analysis; continue SPARK Ada loop translation. · ff7f397d
  clc5q authored 9 years ago
  
  Former-commit-id: a1268eac84f84886e025cbc6d94295ea31653fa8
  ff7f397d
Oct 17, 2015
- Build RTLs earlier and solve resulting phase ordering issues. · 46016d1d
  clc5q authored 9 years ago
  
  Former-commit-id: 2dcaddb490df7b6b6e263b572c51183c44514091
  46016d1d
Oct 16, 2015

SCCP: DEFs returned from call instructions must be of unknown value until we... · 51b67bb0

clc5q authored 9 years ago

SCCP: DEFs returned from call instructions must be of unknown value until we get interprocedural constant propagation. Prep work for calls converted to push and jump pairs.
Former-commit-id: 181e0e031297adb88d4461736aa37a6c64020e48

51b67bb0

Oct 14, 2015
- Eliminate address range checks in SMPBasicBlock. · 0d1645e9
  clc5q authored 9 years ago
  
  Former-commit-id: c0195e327284c6b01b8220df142fa7d37b0c0e0b
  0d1645e9
Oct 13, 2015
- Turn on -Wall in IDA build and attack a slew of warning messages. · 75b59c48
  clc5q authored 9 years ago
  
  Former-commit-id: faed6110708c02ea46c60ec5d7614953fb86052c
  75b59c48
Oct 11, 2015

Sign extend to 64 bits the operand of a 64-bit push opcode that takes a... · 9d78f0a3

clc5q authored 9 years ago

Sign extend to 64 bits the operand of a 64-bit push opcode that takes a narrower immediate or memory operand.

Former-commit-id: 4325774dde621d1c1b02665b5359e01f58e52ee6

9d78f0a3

Oct 05, 2015

Emit BELONGTO annotations and FROMUNKNOWN *.STARSxrefs annotations for... · d0ba340d

clc5q authored 9 years ago

Emit BELONGTO annotations and FROMUNKNOWN *.STARSxrefs annotations for apparently unreachable blocks in functions with resolved indirect branches but no unresolved indirect branches to link to.

Former-commit-id: 4a667610e5c9d98f81d220dfd75638b85216d396

d0ba340d

Oct 01, 2015
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  
  Former-commit-id: 89145fb392ec8c6d78453271328260cd95f88251
  f2d35f85
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 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 09, 2015
- Handle unsigned conditional jumps in SCCP. · a75b4a0d
  clc5q authored 9 years ago
  
  Former-commit-id: e7178a677234a15ed9fe68d66c4ed2bc50087f2d
  a75b4a0d
Sep 05, 2015
- Emit package-level and function-level SPARK Ada translations. · acc384cb
  clc5q authored 9 years ago
  
  Former-commit-id: e4fcf957b283ada96f8632f0f709967591925dd5
  acc384cb
Aug 11, 2015
- sorta almost maybe kinda working of stars2irdb · d7a65f29
  jdh8d authored 9 years ago
  
  Former-commit-id: 246605014085c4e2ba88f9e03c6c0192bbab21f5
  d7a65f29
Aug 04, 2015
- Improve stack frame analysis. · 27ab50d6
  clc5q authored 9 years ago
  
  Former-commit-id: 745651c57b26a92e5c2fb02378895888fc587a33
  27ab50d6
Jul 31, 2015
- Remove unused code and data structures relating to stack frame analysis. · ee13424e
  clc5q authored 9 years ago
  
  Former-commit-id: e8009d6f79c6975a214759701572242591c12e80
  ee13424e
Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  
  Former-commit-id: 8f9be84e180de68c15b57fae2c0631e3e99e6afb
  8459c5a3
Jul 21, 2015
- Partial commit of new stack frame access vector computations (not yet called). · 15d61fe5
  clc5q authored 9 years ago
  
  Former-commit-id: 0292cbf7c3b1bf90f2329a9677d948dd9e98aca3
  15d61fe5
Jul 17, 2015

changes to support windows binaries, which includes printing offsets as 64-bit... · f75afba2

jdh8d authored 9 years ago

changes to support windows binaries, which includes printing offsets as 64-bit values, and ensuring STARS_ea_t is used instead of std::size_t.

Former-commit-id: 87f7a5d2ed6891a1548edad02b491ffb823d76ac

f75afba2

Jul 15, 2015
- Simplify stack frame analysis, eliminate FindAllocPoint() and other connections to IDA Pro. · 533ceeed
  clc5q authored 9 years ago
  
  Former-commit-id: 287ef5283718f1079f04deb4acd5a05a2cd3d021
  533ceeed
Jul 13, 2015
- Minor cleanup in MDFixFrameInfo(). · 6f11dd77
  clc5q authored 9 years ago
  
  Former-commit-id: b1e3f2b0a5f5f704536e3cb69023d7613126c42c
  6f11dd77
- BuildFuncIR draft, untested, but builds. · 8d0ad8e7
  jdh8d authored 9 years ago
  
  Former-commit-id: de39c9aba850a9ce19fb7a54c0706b8b155f299b
  8d0ad8e7
- Precise analysis of byte width of stack pushes in MDFixFrameInfo(). · be077363
  clc5q authored 9 years ago
  
  Former-commit-id: b7217948915f8bd0f6146080b51d36ca7a618f24
  be077363
Jul 09, 2015
- More precise analysis of which stack pointer copies are unsafe. · 9b8aac1e
  clc5q authored 9 years ago
  
  Former-commit-id: e135ebd53fb00b6b816a7522eeffe196bdb8a06b
  9b8aac1e
- Fix phase ordering problem just introduced in AliasAnalysis(); simplify MarkFunctionSafe(). · e0439505
  clc5q authored 9 years ago
  
  Former-commit-id: 91685946cfa8db4c87696df48165dcc1012e1869
  e0439505
Jul 07, 2015
- Eliminate more address range checks, isolate others into IDA Pro derived classes. · a1bbf7af
  clc5q authored 9 years ago
  
  Former-commit-id: 3f9d857e5454b025e7724576114d9c5b759ebc4c
  a1bbf7af
Jul 05, 2015
- Fix problems in leaf function identification. · 680f4fad
  clc5q authored 9 years ago
  
  Former-commit-id: 7c9cfe1ee85115b7351f875f3147527d9bfe92bf
  680f4fad