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.010Feb23Jan19163223Dec171311Nov126Oct2515Aug131231Jul29287630Jun26242017161110872130May28272625241716151311109765319Apr821Mar20191714128Feb242322211817432130Jan292822212019181716151211765130Dec27251716151412111097432130Nov27251918171615149875431Oct29271918171615141312119853128Sep2625242120191816111097531Aug282624171198765431Jul3029282423222120171615141310987543230Jun29262523151211109654326May2524232220191714131110754130Apr1923Mar22721Feb15528Jan23222119181411108653218Dec10976543128Nov2726252421191814131211987627Oct26242322212016151413832130Sep2725242319173230Aug2926252113116542131Jul302928245126Jun42128May252419181514121097654230Apr29232215127Mar252421181193125Feb21187531Jan28234Dec126Nov24211915126Sep4327Aug25212017131Jul27262524211311964329Jun2726252423222120181714131211109876phase 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 bugPre Las Vegas Snapshotpre-las-vegaspre-las-vegasFix SCCP annotations for resolved conditional branches.Annotate unreachable blocks and conditional branches that are always taken or never taken, based on SCCP.Uninit var detection; output disabled until USEs on call instructions can be made less conservative.fixed re-init problem support to re-invoke stars within an xformUpdate for STARS to run after selective_cfi.Emit DEADREGS in SMPInstr::EmitTypeAnnotations() for all instructions.Continue induction var analysis; loop speedup using block iteration instead of inst iteration.DEADREGS for COMPLETE return instructions; continue induction variable ID work.Increased precision for CGC system call analysis.Fix assertion; treat syscalls as NOT being unresolved indirect calls to help CGC (quick and dirty fix).Complete basic induction variable identification.Track loop invariant DEFs per-loop for use in induction variable analysis later.Creating branch for CFAR Phase 1 final release.cfar_phase1_fin…cfar_phase1_final_releaseContinue improving SPARK translation.Translation of compound conditionals.