Commits · 26307319a3ce203b10e8a0fbdaf06c9f2347f1ca · Open Source Software / SMPStaticAnalyzer

Sep 07, 2015
- 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
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 16, 2015
- Get rid of uses of IDA Pro stack deltas. · bdb4d911
  clc5q authored 9 years ago
  
  Former-commit-id: e1f5edb2d888112864cbef2d3070f1ab14dac642
  bdb4d911
- Fix FRAMERESTORE annotations on 64-bit binaries by eliminating hard-coded... · ad452347
  clc5q authored 9 years ago
  
  Fix FRAMERESTORE annotations on 64-bit binaries by eliminating hard-coded 4-byte size constant in offset computations. Former-commit-id: adc295cbeeb7cab3609afc57bed4cf0890f63736
  ad452347
- Continue to simplify and combine early stack frame loops through instructions. · 9e9e9254
  clc5q authored 9 years ago
  
  Former-commit-id: 2be6870cc28d4618ec59207485533080f8b333f2
  9e9e9254
- Continue to simplify stack frame analysis. · 9dc108ad
  clc5q authored 9 years ago
  
  Former-commit-id: 9c823779d074ae6da120f41315e6ff1996fbfff2
  9dc108ad
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 14, 2015
- Remove last use of function get_endEA(). · c698376c
  clc5q authored 9 years ago
  
  Former-commit-id: 9bbf68732bbc8f8fd079bfd74dd6a0fe8f3577ed
  c698376c
- Move MDFixUseFP() logic earlier, don't depend on IDA Pro numbers, just compute UseFP or not. · ae40c45f
  clc5q authored 9 years ago
  
  Former-commit-id: e96a39edd1965be394c86ca7a75cc69ac4012773
  ae40c45f
Jul 13, 2015
- Minor cleanup in MDFixFrameInfo(). · 6f11dd77
  clc5q authored 9 years ago
  
  Former-commit-id: b1e3f2b0a5f5f704536e3cb69023d7613126c42c
  6f11dd77
- Precise analysis of byte width of stack pushes in MDFixFrameInfo(). · be077363
  clc5q authored 9 years ago
  
  Former-commit-id: b7217948915f8bd0f6146080b51d36ca7a618f24
  be077363
Jul 10, 2015
- Begin infrastructure for analyzing indirect memory write safety. · deabcd3f
  clc5q authored 9 years ago
  
  Former-commit-id: 1fa1759f36818bbae333e7557e2374aeea767206
  deabcd3f
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 08, 2015

Move SMPFunction::AliasAnalysis() earlier in SMPProgram::Analyze() so the... · 1bb50ef1

clc5q authored 9 years ago

Move SMPFunction::AliasAnalysis() earlier in SMPProgram::Analyze() so the results will be available for unsafe function analysis.

Former-commit-id: b0415c9055d65e644189798ced06e451ac018a21

1bb50ef1

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