Commits · fe551210dbf9447534f964506e5902af73ef774a · Open Source Software / SMPStaticAnalyzer

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 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 20, 2015
- Add explanatory comments. · d803da45
  clc5q authored 9 years ago
  
  Former-commit-id: 738a14ec34d384dd239bf1a6947396e6f5958dd9
  d803da45
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 14, 2015
- comment additions for clc · 4dfdf015
  jdh8d authored 9 years ago
  
  Former-commit-id: 1b7640dac0b0f201e142ebdfdb0cfc53369d2275
  4dfdf015
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 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 07, 2015
- · 77f15253
  jdh8d authored 9 years ago
  
  Former-commit-id: 2440446955026807d946676e41f2d92a08091f82
  77f15253
- 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
Jul 04, 2015
- Fix phase ordering issue with ProfilerInformation annotation file processing. · 338bf26d
  clc5q authored 9 years ago
  
  Former-commit-id: 564f919d6d2418b79d5fc92aabe9b2330346093b
  338bf26d
Jul 03, 2015
- Make base class IsXternSegment() return false. · 07ee5782
  clc5q authored 9 years ago
  
  Former-commit-id: af82c76b188751e09224de631848a94cd246fe02
  07ee5782
Jul 02, 2015

· 6cfa13b8

jdh8d authored 9 years ago

Former-commit-id: e05b626cf4e007de1a7067c4cf48f642b1a132d9

6cfa13b8

Jun 30, 2015
- Updates for IRDB porting. still not working. · e41d11c2
  jdh8d authored 9 years ago
  
  Former-commit-id: 585a5634f0b6e004f7a101bca6b5c011c56cecde
  e41d11c2
Jun 29, 2015
- Continue prep work for IRDB coding. · 24760d72
  clc5q authored 9 years ago
  
  Former-commit-id: fba25ec3ef380b26c9a69ff8a793583a1a434082
  24760d72
Jun 26, 2015
- · 98fd80c0
  jdh8d authored 9 years ago
  
  Former-commit-id: 85e23643e351c7dce13e99b6f4ef40ac1ba988db
  98fd80c0
- not-yet working IRDB driver for stars. · b3fae253
  jdh8d authored 9 years ago
  
  Former-commit-id: e06006aa3ed6de0ff663d3a0e944fa75b53cd463
  b3fae253
Jun 25, 2015
- Move 32 and 64-bit binary inits into base class. · 7e1260b5
  clc5q authored 9 years ago
  
  Former-commit-id: b6de456fc5e5d88c17776959c098b58abe8d36df
  7e1260b5
- Refactor code into base class for STARSProgram. · be65bea8
  clc5q authored 9 years ago
  
  Former-commit-id: 5fb977445b7d9ef731ed9b81d64c7594c2e4a104
  be65bea8
- Partial update: move more code into base class OpenFiles() and CloseFiles(). · f0659c61
  clc5q authored 9 years ago
  
  Former-commit-id: 4c6c93ed43d6e0abb3104842c76b1326ab385301
  f0659c61
Jun 23, 2015
- updates to create a stars_irdb_program · 81307ddb
  jdh8d authored 9 years ago
  
  Former-commit-id: 439503c2c898177d6db57bf3f8ce2fc1546cf48f
  81307ddb
Jun 15, 2015
- Fix CGC crash on double-shift RTL. · 3fbf824e
  clc5q authored 9 years ago
  
  Former-commit-id: 950dcff6e35a1414e71f11d153a1072d1d52a84f
  3fbf824e
- Reduce spurious ERROR messages in log files. · 39ebb467
  clc5q authored 9 years ago
  
  Former-commit-id: fadc984b956ed66bfc2e36d817cdb8bfaa0a70d0
  39ebb467
Jun 11, 2015
- Continued optimization of DEDefs analysis. · 0cb1d0c2
  clc5q authored 9 years ago
  
  Former-commit-id: 6c5f793cf7abf2c5d37287b622b37dab6f418fdc
  0cb1d0c2
Jun 09, 2015
- SPARK Ada prep work, and speed up DownwardExposedDEFs computations. · ab42e8f0
  clc5q authored 9 years ago
  
  Former-commit-id: f4ab0bb05396e04c3f3e4a2aae58f4ba26081f9d
  ab42e8f0
May 25, 2015
- Updates to get irdb version to build! · 95f3eda3
  jdh8d authored 9 years ago
  
  Former-commit-id: 37dbd4ccea75ee2a8cdb125db9d296a45071b9fd
  95f3eda3
May 24, 2015
- Changes for compatibility with IDA Pro 6.8. · c36651f5
  clc5q authored 9 years ago
  
  Former-commit-id: ffdc1aacf735295ff7d8fee882f510b9dc3d77c8
  c36651f5
May 20, 2015
- Remove IDA Pro header includes from two more files. · b25439b1
  clc5q authored 9 years ago
  
  Former-commit-id: 4e7fc71694815d88dca851e2414f80821b902db2
  b25439b1
May 19, 2015
- Fix hex constant output on SPARK translation. · a19d8047
  clc5q authored 9 years ago
  
  Former-commit-id: 88746c24a79d19213db7da705076a54cb3edb20d
  a19d8047
- Final removal of idapro includes from common modules and build script debugging. · 559695bf
  clc5q authored 9 years ago
  
  Former-commit-id: 70bf1bd47cdb72e782495d3c8f008fc766d1edea
  559695bf
May 17, 2015
- Updates for idapro type removals, etc. · ba7e6832
  jdh8d authored 9 years ago
  
  Former-commit-id: 1ebff574d6ed9a3df332dd77d65031f235ea4d35
  ba7e6832
May 14, 2015
- Optimize parameter passing of shared_ptr objects. · e25f77f1
  clc5q authored 9 years ago
  
  Former-commit-id: 066cf5e996aea0fdf81ea59989dcaa8d8f355c32
  e25f77f1
May 13, 2015
- Add file number to inst ID type. · 5f98e759
  clc5q authored 9 years ago
  
  Former-commit-id: 7d576cf72fba1ee2ee7d1e935c0a4824fd9c71d9
  5f98e759
May 10, 2015
- Eliminate final IDA Pro includes from common modules. · 55fba161
  clc5q authored 9 years ago
  
  Former-commit-id: 51dec0b66b9af14755e43fce8ee791b082c074b4
  55fba161
May 07, 2015
- Finish abstraction of IDA Pro xrefs queries. · c1f5bc7e
  clc5q authored 9 years ago
  
  Former-commit-id: 84d3934f46b0a8b7bfda74a11c23cf49de81545c
  c1f5bc7e