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.027Mar262420171614111064122Feb161023Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130Nov27251918171615149875431Oct29271918171615141312119853128Sep2625242120191816111097531Aug282624171198765431Jul3029282423222120171615141310987543230Jun29262523151211109654326May2524232220191714131110754130Apr1923Mar22721Feb15528Jan23222119181411108653218Dec10976543128Nov2726252421191814131211987627Oct26242322212016151413832130Sep2725242319173230Aug2926252113116542131Jul302928245126Jun42128May252419181514121097654230Apr29232215127Mar252421181193125Feb21187531Jan28234Dec126Nov24211915126Sep4327Aug25212017131Jul27262524211311964329Jun272625242322212018Refactor 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.SPARK translation updates.phase 2 midterm releasecfar_phase2_mid…cfar_phase2_midterm_releaseContinue SPARK work.Add CODEPTR and DATAPTR annotations for pointer constants.Switch off SPARK-specific analyses.Loop analyses and memory writing region analyses.Update copyright headerscgc-sw-delivera…cgc-sw-deliverablesFixes for induction var analysis; code cleanup for cGC.GPRRenameGPRBranch meMerge loop analysis work with CGC changes.Fix SAFE FUNCTION annotation bug
Loading