Commits · a45b438ea06693aff4aa16eb4144ee0d98cb51fd · Open Source Software / SMPStaticAnalyzer

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
- 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 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
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
- Combine two loops for speed. · 008447ab
  clc5q authored 9 years ago
  
  Former-commit-id: d52cde6c937961c0e07cfbdd3fce8c66717c1a98
  008447ab
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 12, 2015
- Add timings, reduce debug output. · fae8f63a
  clc5q authored 9 years ago
  
  Former-commit-id: 6032fad5ae590c0692688c119cdba6bc92e2549d
  fae8f63a
Jun 11, 2015
- Add timing output for analysis phases. · a7bc1d07
  clc5q authored 9 years ago
  
  Former-commit-id: 4f3e70021a2b509b80db0caf8c99b2141896333f
  a7bc1d07
- Continued optimization of DEDefs analysis. · 0cb1d0c2
  clc5q authored 9 years ago
  
  Former-commit-id: 6c5f793cf7abf2c5d37287b622b37dab6f418fdc
  0cb1d0c2
Jun 10, 2015

Code cleanup and reduction of debugging output. · 2bc7c21c
clc5q authored 9 years ago
```
Former-commit-id: 1ce9ecf1bad4334ddfb18f01e7802fc73bd357ba
```
2bc7c21c

Limit DownExposedDEFs sets to operands in StackPtrCopySet to speed up the... · 10d15003

clc5q authored 9 years ago

Limit DownExposedDEFs sets to operands in StackPtrCopySet to speed up the stack pointer analysis phase.

Former-commit-id: 91cb0baeacbf915e6d22b3b56cdc8ada8655af42

10d15003

Jun 09, 2015
- SPARK Ada prep work, and speed up DownwardExposedDEFs computations. · ab42e8f0
  clc5q authored 9 years ago
  
  Former-commit-id: f4ab0bb05396e04c3f3e4a2aae58f4ba26081f9d
  ab42e8f0
Jun 06, 2015
- Emit 64-bit reg names for DEADREGS annotations on x86-64 binaries. · fe0545db
  clc5q authored 9 years ago
  
  Former-commit-id: b897bdde6718b40f208639425bc63131ec7d217e
  fe0545db
- Emit DEADREGS annotations for resolved indirect jumps. · d7ce17c5
  clc5q authored 9 years ago
  
  Former-commit-id: 1c2b02d8290b13d8c30ce04bc7d97d61f4ca7755
  d7ce17c5
Jun 03, 2015
- SConstruct __EA64__ fix and tag_remove() fix for IDA 6.8. · 706d1e5f
  clc5q authored 9 years ago
  
  Former-commit-id: f5967eba83d5cf7ecf63bb4eb0f773b961a02eed
  706d1e5f