Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 27-need-ubuntu20-testing
  • 28-stars-assertion-in-accessabovelocalframe
  • 30-erroneous-assert
  • SMP_clc5q
  • aware-sw-delivery
  • cfar_phase1_final_release
  • cfar_phase2_3rdquarter_release
  • cfar_phase2_final_release
  • cfar_phase2_midterm_release
  • cfar_phase3_midterm_release
  • cfar_release
  • cgc-sw-deliverables
  • cgc_dev
  • ewb3e_development
  • faster_deadregs
  • improve-data-source-tracing
  • infinite_loop_fix
  • instfallthrough
  • master default
  • p2-tne-bug-fixes
  • cfar-phase3-final
  • CFAR_AEI
  • CfarJuly2018Eval
  • pre-las-vegas
  • SCCP_12NOV2013
  • fast_metadata_02SEP2013
  • call_graph_priority_27AUG2013
  • remove_DU_chains_21AUG2013
  • alias_analysis_19AUG2013
  • alias_analysis_17AUG2013
  • duchain_data_structures_25JUL2013
  • stonesoup-phase2-tne-release
  • IDA64_28JUN2013
  • hashing_lea_addition_26JUN2013
  • IDIOM_23_21JUN2013C
  • truncation_signedness_21JUN2013
  • IDIOM_21_bitwise_not_17JUN2013B
  • IDIOM_20_memory_reduction_17JUN2013
  • deadregs_bitset_14JUN2013B
  • scaled_indexreg_not_unsigned_14JUN2013
40 results
Created with Raphaël 2.2.08Oct32130Sep2725242319173230Aug2926252113116542131Jul302928245126Jun42128May252419181514121097654230Apr29232215127Mar252421181193125Feb21187531Jan28234Dec126Nov24211915126Sep4327Aug25212017131Jul27262524211311964329Jun272625242322212018171413121110987654228May2725242221191615131198430Apr2932131Mar3026242321322Feb24Dec1413430Nov2130Oct2825191817161018Sep14Aug12May11765130Apr27191716151413121110765416Feb141311109325Jan242319Dec1615121076430Nov26221918171413972131Oct302927251729Sep26252321171110322Aug20929Jun2528May191320Apr19118730Mar12Jan627Oct22217529Sep25Mar166Jan53224Nov212018121014Oct25Sep22Aug118722Jul21191817161529Jun28252421191816131198742129May28231716151412876532130Apr2521201918171615119873230Mar2927262411754327Feb25222111221Jan121128Dec1813121025Oct24cgc_devcgc_devFix ancient MEDS type propagation imprecision.IDIOM 30: Truncations of POINTER types.Expand IDIOM 29 from decrements to small constant subtractions.Detect decrement RTLs, not just opcodes; IDIOM 29 for decrement of zero-extended byte.Expand definition of hashing operation to include all rotate opcodes.Extend IDIOM 18 to USEs of POINTER types in lea instructions.Fix MEDS type inference on stdlib return registers.Improve interprocedural type propagation by adding missing call to ResetProcessedBlock().Infer and propagate MEDS NUMERIC and POINTER types for stdlib return value registers.Propagate MEDS stack location types until indirect writes are seen; increases IDIOMs 18 and 19.Handle tail call detection on Dealloc instruction; corner case.Handle fast return suppression on tail call cases.Add IDIOM 28 for subword arithmetic from previous full-word arithmetic results.Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.Bug 192: Work on subversion false positives. Expand IDIOM 14, add truncation idiom 27.Continue SPARK Ada translation.Prevent deletion of SSA marker instructions.Phase reordering to prepare for further analyses of return address safety.Emit SPARK Ada loops.Emit diagnostic to log for funcs UNSAFE only because of callees.Emit *.STARScallreturn file with info about fast returns and return address safety.Added code to add ifunc attributeControl indentation in SPARK Ada translation.Continue SPARK translation; fix libc assertion on syscall.Implement reduced analysis for huge binaries.Support CGC binary filetype (magic number).Update to allow CGCEf files through STARS.Bug 205: Make AnalyzeMemset() use IsArgumentPass() to be sound for 64-bit binaries.Set up code to produce DIF files as prelude to binary rewriting.Continue routing IDA calls through middleware layer and cleaning up code.Fix random crashes due to unchecked use of iterator; fix compiler warning on output format string.Code cleanup.Detect accesses to return addresses on the stack.Continue replacing direct IDA SDK calls with middleware layer calls.Eliminate DEADREGS annotations for indirect calls until we have sound target analysis.Emit DEADREGS annotations for all types of call instructions.Copy of module SMPStaticAnalyzer on Thu Jul 24 18:56:49 UTC 2014, rev HEADContinue refinement of IDIOM 7 for signedness.Continue SPARK-Ada translation; fix three bugs in IDIOM 7 suppression; fix iterator error that can cause an infinite loop.