{"id":"W4205689130","doi":"10.1109/ase51524.2021.9678888","title":"SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses","year":2021,"lang":"en","type":"article","venue":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":165,"is_retracted":false,"has_abstract":true,"ca_institutions":"Kootenay Association for Science & Technology","funders":"","keywords":"Fuzz testing; Computer science; Database transaction; Static analysis; Code (set theory); Code coverage; Construct (python library); Smart contract; Software bug; Database; Software engineering; Programming language; Software; Set (abstract data type)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002752801,0.0003957232,0.0003920621,0.0003517394,0.0001338704,0.0005280075,0.001263638,0.0001139121,0.0001569082],"category_scores_gemma":[0.001276973,0.0003950314,0.00005430794,0.0005355242,0.00004872261,0.001114706,0.0004809027,0.0004385722,0.00003263143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002095962,"about_ca_system_score_gemma":0.0002877572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004271721,"about_ca_topic_score_gemma":0.0001022522,"domain_scores_codex":[0.9974262,0.00007422055,0.0004914137,0.0009693343,0.0006144153,0.0004244607],"domain_scores_gemma":[0.9973271,0.00042162,0.0002052564,0.001307017,0.0005521683,0.0001867598],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003354705,0.001091462,0.003126163,0.001219717,0.002992508,0.007601625,0.002628324,0.3823534,0.3175716,0.01679196,0.003030049,0.2612578],"study_design_scores_gemma":[0.0004290436,0.0001050612,0.001228879,0.0005353838,0.00003026651,0.0001904923,0.00004306413,0.9663764,0.02977128,0.0002224586,0.0005879792,0.000479704],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01898257,0.0001216424,0.9768968,0.000457383,0.0007690157,0.0001758545,0.0001431092,0.002381769,0.00007187376],"genre_scores_gemma":[0.6106617,0.0001127676,0.3885907,0.0001817201,0.00004442047,0.00003804853,0.0002091743,0.00003903552,0.0001223698],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5916792,"threshold_uncertainty_score":0.9998502,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03912733686987249,"score_gpt":0.3268875456929596,"score_spread":0.2877602088230872,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}