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.03Aug27Jul212017412Jun627May12854129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130Nov27251918171615149875431Oct29271918171615141312119853128Sep2625242120191816111097531Aug282624171198765431Jul3029282423222120171615141310987543230Jun29262523151211109654326May2524232220191714131110754130Apr1923Mar22721Feb15528Jan23222119181411108653218Dec10976543128Nov2726252421191814131211987627Oct26242322212016151413832130Sep2725242319173230Aug2926252113116542131Jul302928245126Jun42128May252419181514121097654230Apr29232215127Mar252421181193125Feb21187531Jan28234Dec126Nov24211915126Sep4327Aug25212017131Jul272625242113Minor 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.SPARK translation; generalize Expandperand().SPARK refactoring for loop output; diagnostic output improvements to log.Refactor and clean up SPARK output stage for regular non-loop procedures, eliminating duplicate output lines in the process.SPARK translation updates.SPARK: Handle loop-invariant writes inside loops.Improve inheritance of SPARK contracts.SPARK updates and RTL precision updates for looping string opcodes.SPARK translation work for the sha test case.QOL improvementsAdd command-line option to trigger reduced analysis mode for large binaries that might exhaust virtual memory.