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.05May4129Apr2822216231Mar292827262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130Nov27251918171615149875431Oct29271918171615141312119853128Sep2625242120191816111097531Aug282624171198765431Jul3029282423222120171615141310987543230Jun29262523151211109654326May2524232220191714131110754130Apr1923Mar22721Feb15528Jan23222119181411108653218Dec10976543128Nov2726252421191814131211987627Oct26242322212016151413832130Sep2725242319173230Aug2926252113116542131Jul302928245126Jun42128May252419181514121097654230Apr29232215127Mar252421181193125Feb21187531Jan28234Dec126Nov24211915126Sep4327Aug25212017131Jul27262524211311964329Jun27Improve 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.Handle another SPARK memory case.SPARK updates for sha test case; fix byte width issues for opcodes like lea edx,[rax+1].phase 2 3q releasecfar_phase2_3rd…cfar_phase2_3rdquarter_releaseSPARK translation cleanup; indirect write assertions heuristic implementation.Translate only live flags in SPARK after arithmetic and compare or test opcodes.SPARK translation improvements.bug fixes to new build system.reworked testing harness to build correct .annot files for the tests the first time stars is builtHandle blocks that are loop tail blocks for two loops.IDA Pro 6.95 annotation diffs; FindConditionalFollowNode() improvement.Remove DATAPTR 0 annotations; SPARK translation improvements.