Files

D_helix_angr
D_helix_angr_external_function
D_helix_ghidra
D_helix_ghidra_external_function
D_helix_ghidra_loopbound
correct_result
dataset
- 012v
- 123
- 3dostr
- 4xm
- 8bps
- 8svx
- a64
- a64multienc
- aac_ac3_parser
- aac_adtstoasc_bsf
- aac_parser
- aaccoder
- aacdec
- aacdec_fixed
- aacenc
- aacenc_is
- aacenc_ltp
- aacenc_pred
- aacenc_tns
- aacenctab
- aacps_common
- aacps_fixed
- aacps_float
- aacpsdsp_fixed
- aacpsdsp_float
- aacpsy
- aacsbr
- aacsbr_fixed
- aactab
- aadec
- aandcttab
- aasc
- aaxdec
- ac3
- ac3_parser
- ac3dec
- ac3dec_data
- ac3dec_fixed
- ac3dec_float
- ac3dsp
- ac3enc
- ac3enc_fixed
- ac3enc_float
- ac3tab
- acedec
- acelp_filters
- acelp_pitch_delay
- acelp_vectors
- acm
- act
- addpart
- adler32
- adp
- adpcm
- adpcm_data
- adpcmenc
- ads
- adts_header
- adts_parser
- adtsenc
- adx
- adx_parser
- adxdec
- adxenc
- aea
- aes
- aes_ctr
- aeval
- af_acontrast
- af_acopy
- af_acrossover
- af_acrusher
- af_adeclick
- af_adecorrelate
- af_adelay
- af_adenorm
- af_aderivative
- af_aecho
- af_aemphasis
- af_aexciter
- af_afade
- af_afftdn
- af_afftfilt
- af_afir
- af_aformat
- af_afreqshift
- af_afwtdn
- af_agate
- af_aiir
- af_alimiter
- af_amerge
- af_amix
- af_amultiply
- af_anequalizer
- af_anlmdn
- af_anlms
- af_anull
- af_apad
- af_aphaser
- af_apsyclip
- af_apulsator
- af_aresample
- af_arnndn
- af_asdr
- af_asetnsamples
- af_asetrate
- af_ashowinfo
- af_asoftclip
- af_astats
- af_asubboost
- af_asupercut
- af_atempo
- af_atilt
- af_axcorrelate
- af_biquads
- af_channelmap
- af_channelsplit
- af_chorus
- af_compand
- af_compensationdelay
- af_crossfeed
- af_crystalizer
- af_dcshift
- af_deesser
- af_drmeter
- af_dynaudnorm
- af_earwax
- af_extrastereo
- af_firequalizer
- af_flanger
- af_haas
- af_hdcd
- af_headphone
- af_join
- af_loudnorm
- af_mcompand
- af_pan
- af_replaygain
- af_sidechaincompress
- af_silencedetect
- af_silenceremove
- af_speechnorm
- af_stereotools
- af_stereowiden
- af_superequalizer
- af_surround
- af_tremolo
- af_vibrato
- af_volume
- af_volumedetect
- afc
- agetty
- agm
- aic
- aiff
- aiffdec
- aiffenc
- aixdec
- alac
- alac_data
- alacdsp
- alacenc
- aliaspixdec
- aliaspixenc
- allcodecs
- alldevices
- allfilters
- allformats
- alp
- alphablend
- alsa
- alsa_dec
- alsa_enc
- alsdec
- amr
- amr_parser
- amrnbdec
- amrwbdec
- amvenc
- anm
- ansi
- apc
- ape
- apedec
- apetag
- apm
- apngdec
- apngenc
- aptx
- aptxdec
- aptxenc
- aqtitledec
- arbc
- argo
- argo_asf
- argo_brp
- argo_cvg
- arm_coreutils_b2sum
- arm_coreutils_base32
- arm_coreutils_base64
- arm_coreutils_basename
- arm_coreutils_basenc
- arm_coreutils_cat
- arm_coreutils_chcon
- arm_coreutils_chgrp
- arm_coreutils_chmod
- arm_coreutils_chown
- arm_coreutils_chroot
- arm_coreutils_cksum
- arm_coreutils_comm
- arm_coreutils_cp
- arm_coreutils_csplit
- arm_coreutils_cut
- arm_coreutils_date
- arm_coreutils_dd
- arm_coreutils_df
- arm_coreutils_dir
- arm_coreutils_dircolors
- arm_coreutils_dirname
- arm_coreutils_du
- arm_coreutils_echo
- arm_coreutils_env
- arm_coreutils_expand
- arm_coreutils_expr
- arm_coreutils_factor
- arm_coreutils_false
- arm_coreutils_fmt
- arm_coreutils_fold
- arm_coreutils_getlimits
- arm_coreutils_ginstall
- arm_coreutils_groups
- arm_coreutils_head
- arm_coreutils_hostid
- arm_coreutils_id
- arm_coreutils_join
- arm_coreutils_kill
- arm_coreutils_link
- arm_coreutils_ln
- arm_coreutils_logname
- arm_coreutils_ls
- arm_coreutils_md5sum
- arm_coreutils_mkdir
- arm_coreutils_mkfifo
- arm_coreutils_mknod
- arm_coreutils_mktemp
- arm_coreutils_mv
- arm_coreutils_nice
- arm_coreutils_nl
- arm_coreutils_nohup
- arm_coreutils_nproc
- arm_coreutils_numfmt
- arm_coreutils_od
- arm_coreutils_paste
- arm_coreutils_pathchk
- arm_coreutils_pinky
- arm_coreutils_pr
- arm_coreutils_printenv
- arm_coreutils_printf
- arm_coreutils_ptx
- arm_coreutils_pwd
- arm_coreutils_readlink
- arm_coreutils_realpath
- arm_coreutils_rm
- arm_coreutils_rmdir
- arm_coreutils_runcon
- arm_coreutils_seq
- arm_coreutils_sha1sum
- arm_coreutils_sha224sum
- arm_coreutils_sha256sum
- arm_coreutils_sha384sum
- arm_coreutils_sha512sum
- arm_coreutils_shred
- arm_coreutils_shuf
- arm_coreutils_sleep
- arm_coreutils_sort
- arm_coreutils_split
- arm_coreutils_stat
- arm_coreutils_stdbuf
- arm_coreutils_stty
- arm_coreutils_sum
- arm_coreutils_sync
- arm_coreutils_tac
- arm_coreutils_tail
- arm_coreutils_tee
- arm_coreutils_test
- arm_coreutils_timeout
- arm_coreutils_touch
- arm_coreutils_tr
- arm_coreutils_true
- arm_coreutils_truncate
- arm_coreutils_tsort
- arm_coreutils_tty
- arm_coreutils_uname
- arm_coreutils_unexpand
- arm_coreutils_uniq
- arm_coreutils_unlink
- arm_coreutils_uptime
- arm_coreutils_users
- arm_coreutils_vdir
- arm_coreutils_wc
- arm_coreutils_who
- arm_coreutils_whoami
- arm_coreutils_yes
- asf
- asfcrypt
- asfdec_f
- asfdec_o
- asfenc
- asink_anullsink
- asrc_afirsrc
- asrc_anoisesrc
- asrc_anullsrc
- asrc_hilbert
- asrc_sinc
- asrc_sine
- ass
- ass_split
- assdec
- assenc
- ast
- astdec
- astenc
- asv
- asvdec
- asvenc
- async
- atrac
- atrac1
- atrac3
- atrac3plus
- atrac3plusdec
- atrac3plusdsp
- atrac9dec
- atsc_a53
- au
- audio
- audio_fifo
- audio_frame_queue
- audioconvert
- audiodsp
- aura
- av1
- av1_frame_merge_bsf
- av1_frame_split_bsf
- av1_metadata_bsf
- av1_parse
- av1_parser
- av1dec
- avc
- avcodec
- avdct
- avdevice
- avf_abitscope
- avf_ahistogram
- avf_aphasemeter
- avf_avectorscope
- avf_concat
- avf_showcqt
- avf_showfreqs
- avf_showspatial
- avf_showspectrum
- avf_showvolume
- avf_showwaves
- avfft
- avfilter
- avfiltergraph
- avidec
- avienc
- avio
- aviobuf
- avlanguage
- avpacket
- avr
- avrndec
- avs
- avs2_parser
- avs2dec
- avs3_parser
- avs3dec
- avsscanf
- avstring
- avuidec
- avuienc
- b2sum
- base32
- base64
- bbox
- bethsoftvid
- bethsoftvideo
- bfi
- bgmc
- bink
- binka
- binkaudio
- binkdsp
- bintext
- bit
- bitpacked_dec
- bitpacked_enc
- bitstream
- bitstream_filters
- blkzone
- blockdev
- blockdsp
- blowfish
- bmp
- bmp_parser
- bmpenc
- bmv
- bmvaudio
- bmvvideo
- boadec
- bprint
- brenderpix
- brstm
- bsf
- bswapdsp
- buffer
- buffersink
- buffersrc
- c93
- cabac
- cache
- caf
- cafdec
- cafenc
- cal
- camellia
- canopus
- cast5
- cat
- cavs
- cavs_parser
- cavsdata
- cavsdec
- cavsdsp
- cavsvideodec
- cbrt_data
- cbrt_data_fixed
- cbs
- cbs_av1
- cbs_bsf
- cbs_h2645
- cbs_mpeg2
- cbs_sei
- cbs_vp9
- ccaption_dec
- cdg
- cdgraphics
- cdtoons
- cdxl
- celp_filters
- celp_math
- cfhd
- cfhddata
- cfhddsp
- cfhdenc
- cfhdencdsp
- cga_data
- channel_layout
- chcon
- chcpu
- chmem
- chmod
- chomp_bsf
- choom
- chown
- chroot
- chrt
- cinedec
- cinepak
- cinepakenc
- cksum
- clearvideo
- cljrdec
- cljrenc
- cllc
- cngdec
- cngenc
- codec2
- codec_desc
- codec_par
- col
- colcrt
- color_utils
- colorspace
- colorspacedsp
- colrm
- concat
- concatdec
- cook
- cook_parser
- cpia
- cpu
- crc
- crcenc
- cri
- cri_parser
- crypto
- cscd
- csplit
- ctrlaltdel
- curl
- cut
- cyuv
- d3d11va
- dash
- dashenc
- data_uri
- date
- dauddec
- daudenc
- dca
- dca_core
- dca_core_bsf
- dca_exss
- dca_lbr
- dca_parser
- dca_xll
- dcaadpcm
- dcadata
- dcadct
- dcadec
- dcadsp
- dcaenc
- dcahuff
- dcstr
- dct
- dct32_fixed
- dct32_float
- dds
- decode
- delpart
- demux
- derf
- des
- detection_bbox
- df
- dfa
- dhav
- dict
- dirac
- dirac_arith
- dirac_dwt
- dirac_parser
- dirac_vlc
- diracdec
- diracdsp
- diractab
- dircolors
- dirname
- display
- dither
- dmesg
- dnn_filter_common
- dnxhd_parser
- dnxhddata
- dnxhddec
- dnxhdenc
- dolby_e
- dolby_e_parse
- dolby_e_parser
- dovi_meta
- downmix_info
- dpcm
- dpx
- dpx_parser
- dpxenc
- drawutils
- dsd
- dsddec
- dsfdec
- dsicin
- dsicinaudio
- dsicinvideo
- dss
- dss_sp
- dstdec
- dtsdec
- dtshddec
- du
- dump
- dump_extradata_bsf
- dv
- dv_profile
- dvaudio_parser
- dvaudiodec
- dvbsub
- dvbsub_parser
- dvbsubdec
- dvbsubenc
- dvbtxt
- dvd_nav_parser
- dvdata
- dvdec
- dvdsub
- dvdsub_parser
- dvdsubdec
- dvdsubenc
- dvenc
- dxa
- dxtory
- dxv
- dynamic_hdr10_plus
- eac3_core_bsf
- eac3_data
- eac3enc
- eacdata
- eacmv
- eaidct
- eamad
- eatgq
- eatgv
- eatqi
- ebur128
- echo
- elbg
- electronicarts
- elf2uf2
- elsdec
- encode
- encryption_info
- env
- epafdec
- error_resilience
- escape124
- escape130
- eval
- evrcdec
- exif
- expand
- expr
- exr
- exrdsp
- exrenc
- extract_extradata_bsf
- f_bench
- f_cue
- f_drawgraph
- f_ebur128
- f_graphmonitor
- f_interleave
- f_latency
- f_loop
- f_metadata
- f_perms
- f_realtime
- f_reverse
- f_segment
- f_select
- f_sendcmd
- f_sidedata
- f_streamselect
- faandct
- faanidct
- fallocate
- fastaudio
- faxcompr
- fbdev_common
- fbdev_dec
- fbdev_enc
- fdctdsp
- ffmetadec
- ffmetaenc
- fft_fixed_32
- fft_float
- fft_init_table
- ffv1
- ffv1dec
- ffv1enc
- ffwavesynth
- fic
- fifo
- fifo_test
- file
- file_open
- film_grain_params
- filmstripdec
- filmstripenc
- filter_units_bsf
- fits
- fitsdec
- fitsenc
- fixed_dsp
- flac
- flac_parser
- flac_picture
- flacdata
- flacdec
- flacdsp
- flacenc
- flacenc_header
- flashsv
- flashsv2enc
- flashsvenc
- flic
- flicvideo
- float_dsp
- flock
- flvdec
- flvenc
- fmtconvert
- fmvc
- format
- formats
- frame
- frame_thread_encoder
- framecrcenc
- framehash
- framepool
- framequeue
- framesync
- fraps
- frmdec
- frwu
- fsb
- fsck.cramfs
- fsck.minix
- fsfreeze
- ftp
- fwse
- g2meet
- g722
- g722dec
- g722dsp
- g722enc
- g723_1
- g723_1_parser
- g723_1dec
- g723_1enc
- g726
- g729_parser
- g729dec
- g729postfilter
- gamma
- gdv
- gemdec
- generate_wave_table
- genh
- getlimits
- getopt
- gif
- gif_parser
- gifdec
- golomb
- gopher
- graphdump
- graphparser
- groups
- gsm_parser
- gsmdec
- gsmdec_data
- gxf
- gxfenc
- h261
- h261_parser
- h261data
- h261dec
- h261enc
- h263
- h263_parser
- h263data
- h263dec
- h263dsp
- h2645_parse
- h264_cabac
- h264_cavlc
- h264_direct
- h264_levels
- h264_loopfilter
- h264_mb
- h264_metadata_bsf
- h264_mp4toannexb_bsf
- h264_parse
- h264_parser
- h264_picture
- h264_ps
- h264_redundant_pps_bsf
- h264_refs
- h264_sei
- h264_slice
- h264chroma
- h264data
- h264dec
- h264dsp
- h264idct
- h264pred
- h264qpel
- h265_metadata_bsf
- h265_profile_level
- h274
- hap
- hapdec
- hapqa_extract_bsf
- hardlink
- hash
- hashenc
- hca
- hcadec
- hcom
- hdr_dynamic_metadata
- hdsenc
- hevc
- hevc_cabac
- hevc_data
- hevc_filter
- hevc_mp4toannexb_bsf
- hevc_mvs
- hevc_parse
- hevc_parser
- hevc_ps
- hevc_refs
- hevc_sei
- hevcdec
- hevcdsp
- hevcpred
- hexdump
- hls
- hls_sample_encryption
- hlsenc
- hlsplaylist
- hlsproto
- hmac
- hnm
- hnm4video
- hostid
- hpeldsp
- hq_hqa
- hq_hqadata
- hq_hqadsp
- hqx
- hqxdsp
- hqxvlc
- hscale
- hscale_fast_bilinear
- htmlsubtitles
- http
- httpauth
- huffman
- huffyuv
- huffyuvdec
- huffyuvdsp
- huffyuvenc
- huffyuvencdsp
- hwclock
- hwcontext
- icecast
- icodec
- icoenc
- id
- id3v1
- id3v2
- id3v2enc
- idcin
- idcinvideo
- idctdsp
- idroqdec
- idroqenc
- iff
- ifv
- iirfilter
- ilbc
- ilbcdec
- imc
- img2
- img2_alias_pix
- img2_brender_pix
- img2dec
- img2enc
- imgconvert
- imgutils
- imm4
- imm5
- imx
- imx_dump_header_bsf
- indeo2
- indeo3
- indeo4
- indeo5
- ingenientdec
- input
- integer
- intelh263dec
- interplayacm
- interplayvideo
- intmath
- intrax8
- intrax8dsp
- ionice
- ip
- ipcmk
- ipcrm
- ipcs
- ipmovie
- ipu_parser
- ipudec
- ircam
- ircamdec
- ircamenc
- isom
- isom_tags
- isosize
- iss
- ituh263dec
- ituh263enc
- iv8
- ivfdec
- ivfenc
- ivi
- ivi_dsp
- j2kenc
- jacosubdec
- jacosubenc
- jfdctfst
- jfdctint
- jni
- join
- jpeg2000
- jpeg2000_parser
- jpeg2000dec
- jpeg2000dsp
- jpeg2000dwt
- jpegls
- jpeglsdec
- jpeglsenc
- jpegtables
- jrevdct
- jvdec
- kbdwin
- kgv1dec
- kill
- kmvc
- kvag
- lagarith
- lagarithrac
- last
- latm_parser
- latmenc
- lavfi
- lavfutils
- lcldec
- lclenc
- ldattach
- lfg
- libarb
- libcrypto_so_3
- libssh
- libuv
- link
- ljpegenc
- lls
- lmlm4
- ln
- loasdec
- loco
- log
- log2_tab
- logger
- logname
- lossless_audiodsp
- lossless_videodsp
- lossless_videoencdsp
- lpc
- lrc
- lrcdec
- lrcenc
- ls
- lscrdec
- lsp
- lswsutils
- luodatdec
- lvfdec
- lxfdec
- lzf
- lzo
- lzw
- lzwenc
- m101
- m4vdec
- mace
- magicyuv
- magicyuvenc
- make-prime-list
- masscan
- mastering_display_metadata
- mathematics
- mathtables
- matroska
- matroskadec
- matroskaenc
- mca
- mccdec
- mcookie
- md5
- md5proto
- md5sum
- mdct15
- mdct_fixed_32
- mdct_float
- mdec
- 1004 entries not shown
ghidra_scripts
LICENSE
README.md
angr_pcode_diff.patch
angr_vexir_diff.patch
angr_vexir_external_function_diff.patch
claripy_pcode_diff.patch
claripy_vexir_diff.patch
claripy_vexir_external_function_diff.patch
diff_result
ghidra_diff.patch
muqi.py
prompt_diff.patch
prompt_diff_external_function.patch
prompt_diff_loopbound.patch