Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 13-keystone-should-return-an-error-when-assembling-instruction
  • 19-need-ubuntu22-support
  • 21-job-failed-248429
  • SRL-Windows
  • SRL_kernelModules
  • ZS-91-opensrc-zipr
  • add-u24
  • add_arm32_eh
  • ais-release-sept-2019
  • arm_port
  • aware-sw-delivery
  • bugfixes
  • cfar_phase1_final_release
  • cfar_phase2_3rdquarter_release
  • cfar_phase2_final_release
  • cfar_phase2_midterm_release
  • cfar_phase3_midterm_release
  • cgc-sw-deliverables
  • cgc_dev
  • copyright-headers
  • gt_eval
  • Release-2-26-2021
  • cfar-phase3-final
  • CFAR_AEI
  • CfarJuly2018Eval
  • pre-las-vegas
26 results
Created with Raphaël 2.2.07Dec6542130Nov2928252322212018171615111098432131Oct3029282726252120191817121110543130Sep2928272221161412986231Aug302726252422181716151298543230Jul2927262522211514128765129Jun2824232120171615141310131May13546Apr31Mar292523222118171518Jan171613121130Dec292830Nov5229Oct27Fixed truncationControlled exit and continue execution messagesHandling new signedness unsigned annotationAdded utility functionsreport ps_analyze timeoutDisable truncation code -- bug -- debugging.Emit general_messages containing Strata warningsAdded commentBug fixes for TRUNCATIONAdded --saturate option to integer transformAdded timeouts to integer replayWorking on saturating arithmeticremoved debug stmtFixes to support non-alphabetic filenames.Fix to support filenames starting with non-alphabeticsImplemented saturating arithmetic for overflowsImplemented saturating arithmetic for oveflowsUse replayer to discover benign false positives for integer vulnerabilitiesHave Grace produce exit status codes for each inputRemoved error handlers from ps_run, changed error exit code for ps_analyze.Implemented false positive detection for C1Implemented false positive detection for C1Implemented false positive detections for C1Integer replay script to detect false positivesAdded utilities to figure out the state of GraceAdded exit policy for each callbackAdded controlled exit handler.added more instrumentations for leaHandling reg*constant nowFixed bugs for NOFLAG instrumentation:fixed ps_analyze again. :(undid fix for copy_exe step as it doesnt work right if the output file has an absolute pathnameleapattern.h --> leapattern.hppforgot to add file......added horrible div by 0 check in ps_run.Removing extraneous extra temporary directory.Re-adding soruce for html-xml-utils-3.0.