Commits · 568a96cc5375c01cc69dd535885c83d897ecda8f · Open Source Software / SMPStaticAnalyzer

Oct 09, 2015
- Get rid of use of GetSpecFlag4() in common code. · 568a96cc
  clc5q authored 9 years ago
  
  Former-commit-id: 4a5f2ebff64bb1186748a3e15de4808d14c11cbf
  568a96cc
Oct 08, 2015
- Updates for SIB and IsEqOp rewrite to use op_t::operator< · 8758e817
  jdh8d authored 9 years ago
  
  Former-commit-id: ececbd7b378e90677b7f9bf3a5fbbc824009295d
  8758e817
- Expand chunks to include interleaved orphan code regions. · 1ec9897c
  clc5q authored 9 years ago
  
  Former-commit-id: ed95b04147243753433effb793a64cc4b91b75a8
  1ec9897c
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
- Make indirect writes safe if they come from loop-invariant stack copies. · 373860a0
  clc5q authored 9 years ago
  
  Former-commit-id: 41498c234c3cdb0b9493aa331552d61100b10637
  373860a0
- Compute loop-invariant DEFs. · f2d35f85
  clc5q authored 9 years ago
  
  Former-commit-id: 89145fb392ec8c6d78453271328260cd95f88251
  f2d35f85
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
- 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
- Updates to supportr building a libstars.a to link into IRDB xforms. · 3c66cf4c
  jdh8d authored 9 years ago
  
  Former-commit-id: 7ecc43186ebacb853a9bf5cb1c9740255e69dbe2
  3c66cf4c
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 08, 2015
- Get interprocedural killed regs info for chunked callees. · 428a0aee
  clc5q authored 9 years ago
  
  Former-commit-id: 265a6a671c6db617b5043879399b578f5a1f5505
  428a0aee
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
Aug 05, 2015
- Continue improving stack frame analysis. · e665f187
  clc5q authored 9 years ago
  
  Former-commit-id: 8472d809f18a3569ec729ca0270b24f8f36afaf1
  e665f187
Aug 04, 2015
- Improve stack frame analysis. · 27ab50d6
  clc5q authored 9 years ago
  
  Former-commit-id: 745651c57b26a92e5c2fb02378895888fc587a33
  27ab50d6
Jul 31, 2015
- Better tail call definition, fewer ERROR log messages on tail calls. · 129397bb
  clc5q authored 9 years ago
  
  Former-commit-id: 078c4294c5c37971ccada1addb4abe2f4b156ac8
  129397bb
- Remove unused code and data structures relating to stack frame analysis. · ee13424e
  clc5q authored 9 years ago
  
  Former-commit-id: e8009d6f79c6975a214759701572242591c12e80
  ee13424e
Jul 30, 2015
- Cut more IDA calls to FuncInfo stack frame methods; reduce spurious ERROR log messages. · ee7066d3
  clc5q authored 9 years ago
  
  Former-commit-id: e355967cb4990540b6fecf66ba6d54c24070ce67
  ee7066d3
- · d0026690
  jdh8d authored 9 years ago
  
  Former-commit-id: 6c33a4a79c51108d10ffccf1b0986e8fcd14a020
  d0026690
Jul 28, 2015
- Finish redesign of stack frame analysis. · 8459c5a3
  clc5q authored 9 years ago
  
  Former-commit-id: 8f9be84e180de68c15b57fae2c0631e3e99e6afb
  8459c5a3
Jul 24, 2015

Restrict SMPInstr::GetSize() to IDA-specific derived classes unless it is just... · fe551210

clc5q authored 9 years ago

Restrict SMPInstr::GetSize() to IDA-specific derived classes unless it is just annotation or log output. Use STARS_Instruction_t::GetNextInstructionID() to determine basic block fall-throughs.

Former-commit-id: 1136f2b9808e684b5253128d352e266e926085d4

fe551210

Jul 23, 2015

Remove bad assertion; check for null segment pointer that might be returned... · 617ccb41

clc5q authored 9 years ago

Remove bad assertion; check for null segment pointer that might be returned from IRDB before dereferencing.

Former-commit-id: 73f02c6b3396d18c43bc8e6335574aab4d4db335

617ccb41

Jul 22, 2015
- Solve Raytheon crash by eliminating old USEs after stack address normalization. · c454d72d
  clc5q authored 9 years ago
  
  Former-commit-id: 456b095e76fd0ea3cdfbba43b6eafa991e7125b5
  c454d72d
- Continue stack frame analysis redesign (not called yet). · 567059e0
  clc5q authored 9 years ago
  
  Former-commit-id: 430f338dabce6f19b53100b74127c2d76d683501
  567059e0
- Add more diagnostic output on fatal error. · 09c0441d
  clc5q authored 9 years ago
  
  Former-commit-id: bc0185990415a0aacd613105fd47ba47e7a2346e
  09c0441d
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
- Add diagnostic output for fatal error before assert(false) call. · 887894e3
  clc5q authored 9 years ago
  
  Former-commit-id: 4546fff20719e9be6dc9ca672ed12aa4304c880a
  887894e3
Jul 20, 2015
- Omit extraneous CONST field from numeric IDIOM 33 annotations; minor code cleanup. · a45b438e
  clc5q authored 9 years ago
  
  Former-commit-id: a5c307ecff02e255aa39d6881b45f06ef993c541
  a45b438e
- Get rid of UseIDAStackPointerDeltas() calls; continue to simplify loops in AdvancedAnalysis(). · 3128c033
  clc5q authored 9 years ago
  
  Former-commit-id: f45999f2c502458ed87c73e2fb0fc4360cde3229
  3128c033
- Fix 64-bit output statements and recognize alloca() calls before the stack frame allocation. · 146a7107
  clc5q authored 9 years ago
  
  Former-commit-id: 4caf1f5e24d24ab5e376f0decd0e2082c42d39d5
  146a7107