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.08Sep28Aug2321111084327Jul212017412Jun627May12854129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130Nov27251918171615149875431Oct29271918171615141312119853128Sep2625242120191816111097531Aug282624171198765431Jul3029282423222120171615141310987543230Jun29262523151211109654326May2524232220191714131110754130Apr1923Mar22721Feb15528Jan23222119181411108653218Dec10976543128Nov2726252421191814131211987627Oct26242322212016151413832130Sep2725242319173230Aug2926252113116542131Jul302928245126Jun42128May252419181514121097654230Apr29232215127Mar252421181193125Feb21187531Jan28234Dec126Nov24211915126Sep4327Aug252120171Fix SCCP errors; enable more compiler warnings, add a couple of warning fixes.Fix the fix for Ubuntu 17.Fix compilation problems in Ubuntu 17 with latest g++ by moving IDA Pro includes after all others.Fix double free in Reduced mode.Fix use of ImproveCFG flag.Fix constant tracing for func ptrs and handle conditional move tracing.Trace fptrs back to constant operands, emit COMPLETE xref annotations if all traces lead to constants.Add ImproveCFG option, emit CONSTARG annotations.Improve type inference debug output for SMPTypeMeet errors.Minor tweak to type inference; enhanced debug output.Fix RTL building for into and int3 opcodes, which have no operands.More fixes for expression simplification.Fixes for loop analyses across regression tests.SPARK cleanup, and fixes for FindConditionalFollowNode().Phase2 final release branchcfar_phase2_fin…cfar_phase2_final_releaseintegrated centos VM into testing harness (source use_ubuntu or use_centos)Handle mem exprs with global static mem writes, and other fixes for test case synthetic.c.added explicit check if PEDI_HOME is set to avoid key error when it is not.Fixes for argument and fptr shadowing.Improve argument shadowing.revert bad commitFix bad var useUse references instead of pointers for STARS optinsPass options to STARS/IRDB.Pass options to SMP-analyze.shImplement critical argument shadowing defense.Add command-line options for func ptr and arg shadowing, make common code for those two defenses; minor SPARK work.Control flow analysis improvements.More control flow analysis improvements for if-then-else statements.Improved control flow analyses.Emit SPARK incoming reg location info for regs that get copied to mem write address regs in the loop.Refactor code for loop preconditions, including all memory exprs, internal and inherited.Refactor SPARK output methods; handle symbolic analysis of indirect memory operands.SPARK contracts for inheritance of the PreservedRegs property in the call chain.SPARK loop analyses for sha benchmark, lower levels of the call graph.Combine SPARK loop memory exprs with common addressing registers but varying immediate offsets.SPARK translation improvements.