Skip to content
Snippets Groups Projects
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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.026Mar242321322Feb24Dec1413430Nov2130Oct2825191817161018Sep14Aug12May11765130Apr27191716151413121110765416Feb141311109325Jan242319Dec1615121076430Nov26221918171413972131Oct302927251729Sep26252321171110322Aug20929Jun2528May191320Apr19118730Mar12Jan627Oct22217529Sep25Mar166Jan53224Nov212018121014Oct25Sep22Aug118722Jul21191817161529Jun28252421191816131198742129May28231716151412876532130Apr2521201918171615119873230Mar2927262411754327Feb25222111221Jan121128Dec1813121025Oct24Suppress underflow false positives on ASCII char range checks.ASCII_false_pos…ASCII_false_positives_26MAR2013Finish signedness inference from opcodes.opcode_signedne…opcode_signedness_25MAR2013Speed up and clean up reaching defs computations.reaching_defs_s…reaching_defs_speedup_23MAR2013Infer signedness from opcodes; suppress overflow and underflow checks on small values from condition codes.opcode_signedne…opcode_signedness_benign_flags_22MAR2013Check for truncation when the USE is a possible truncation and DEF is a non-stack memory location.memdef_truncati…memdef_truncation_21MAR2013Build RTLs for SSE opcodes found in dumbledore and ffmpeg codes.SSE_RTLs_20MAR2…SSE_RTLs_20MAR2013Suppress benign underflows from strcmp() code or any code subtracting condition code values.benign_conditio…benign_condition_code_underflow_02MAR2013Analysis of stack pointer deltas and stack location accesses.stack_pointer_a…stack_pointer_analysis_21FEB2013Code for reaching defs and stack deltas (complete but inactive.)reaching_defs_2…reaching_defs_24DEC2012Removed --no-undefined flag from link step, as this flag is generally unsupported, and seems unneeded.Count numeric annotation; begin reaching definitions analysis.count_numeric_a…count_numeric_annots_13DEC2012Phase ordering changes.early_SSA_03DEC…early_SSA_03DEC2012Continuing disassembly improvements.disasm_29NOV2012disasm_29NOV2012Partial completion of stack pointer delta analysis; reordering analyses for optimal sequence.phase_ordering_…phase_ordering_21NOV2012Prep work for whole program analyses from the call graph leaves upward.global_analysis…global_analysis_prep_30OCT2012Prep work for changing the processing order of functions.Initial work to analyze stack pointer offsets.Make funcs with no callers UNSAFE.unsafe_uncalled…unsafe_uncalled_funcs_18OCT2012Correctly handle tail calls in the call graph.tail_calls_18OC…tail_calls_18OCT2012Mark functions UNSAFE if they are the target of jumps used as calls.Treat return addresses as insecure (FUNC_UNSAFE) when address of function is taken.Build RTLs for some SSE instructions.SSE_RTLs_16OCT2…SSE_RTLs_16OCT2012Work around IDA Pro problem that produces bogus incoming args at huge stack frame offsets.Operate through new middleware module SMPDBInterface instead of directly through IDA Pro SDK.Emit info annotation for all memory operands.Speed up InferGlobalDefType() by limiting search scope to chains starting with DEF block.code_speedup_11…code_speedup_11MAY2012Recognize benign underflow code using subtract with borrow with identical left and right operands.benign_underflo…benign_underflow_sbb_11MAY2012Memory and code cleanup with no annotation changes.code_cleanup_06…code_cleanup_06MAY2012Reduce SMPInstr memory by pulling disasm text into a global shared object, produced on demand per address.Minor memory allocation and destructor cleanup.Extend tracing of memset targets to include immediate values added to stack offsets.analyze_memset_…analyze_memset_3_30APR2012Improve tracing of memset() arguments through stack locations.analyze_memset_…analyze_memset_2_30APR2012Analyze memset() calls, emit annotations for stack targets.analyze_memset_…analyze_memset_29APR2012Move BuildRTL earlier; fix problems with destructors and phase ordering.stack_offset_an…stack_offset_analysis_1_27APR2012APermit signedness checks on stack writes in limited safe cases.safe_stack_sign…safe_stack_signedness_checks_18APR2012Find overflowing opcodes that DEF an arg passed to malloc et al. and tag annotation as SINKMALLOC.mark_malloc_sin…mark_malloc_sink_overflows_17APR2012Suppress signedness checks on moves into stack.suppress_stack_…suppress_stack_sign_checks_16APR2012Infer immediate pointers are UNSIGNED; handle bit test opcodes.unsigned_immed_…unsigned_immed_ptrs_15APR2012Suppress SIGNEDNESS annotations where we have a mixed-sign USE and a non-mixed DEF of that USE.suppress_mixed_…suppress_mixed_sign_checks_14APR2014Avoid treating stack pointer addressing registers as arithmetic operands in signedness inference.stackptr_reg_id…stackptr_reg_id_13APR2012C