Thanh Le-Cong

icon indicating a website link thanhlecongg.github.io

icon company The University of Melbourne icon location Melbourne, Australia icon location I am a first-year PhD Student at the University of Melbourne. You can learn more about me at thanhlecongg.github.io

Results 3 issues of Thanh Le-Cong

Thread 'rustc' panicked at 'panic in fold1'.

Hi, I am trying to run MirChecker for my project [RUSTSEC-2018-0008.zip](https://github.com/lizhuohua/rust-mir-checker/files/8746126/RUSTSEC-2018-0008.zip) My project can be compiled without errors using cargo. ``` Checking RUSTSEC-2018-0008 v0.1.0 (/Users/thanhdeku/Documents/Research/Melbourne/Detection/rust-mir-checker/rust-study/section-5-memory-safety-issues/reproduced-bugs/cve/RUSTSEC-2018-0008) warning: crate `RUSTSEC_2018_0008` should have...

Issues on replicating results of Defects4J

2 comment

Hi, I'm trying to replicate the results following your instructions and got similar results for QuixBugs. However, when I ran CURE for Defects4J, I got very different results. This is...

Issue with getNodeId

Hi, I found that when you identify the root node in this [line](https://github.com/pkuzqh/Recoder/blob/master/testDefect4j.py#L407), you have ignored IfStatement and ForStatement. I guess your purpose is to traverse its children. But, how...