Comments (11)
Hi,
I've added some sanity checks on the develop branch. Can you re-run on this branch and let me know how this goes?
from aurora.
Hi,
I've added some sanity checks on the develop branch. Can you re-run on this branch and let me know how this goes?
Hello,
In my case,I do get some predicates with a score greater than 0.9, the problem seems to be in the ranking in the last step, the bug I tested is indeed in libgpac.so, which belongs to a shared link library and that might be the problem.
And sure I'd love to test the new branch and see how it goes.
gpac_predicates.txt
from aurora.
@mu00d8
Hi,the new branch seems couldn't be built:
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bhcomp.rs:62:24
|
62 | let bytes = bits / Limb::BITS;
| ^^^^^^^^^^ expected `usize`, found `u32`
error[E0277]: cannot divide `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bhcomp.rs:62:22
|
62 | let bytes = bits / Limb::BITS;
| ^ no implementation for `usize / u32`
|
= help: the trait `Div<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bigcomp.rs:157:55
|
157 | let nlz = den.leading_zeros().wrapping_sub(wlz) & (u32::BITS - 1);
| ^^^^^^^^^^^^^^^ expected `usize`, found `u32`
error[E0277]: no implementation for `usize & u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bigcomp.rs:157:53
|
157 | let nlz = den.leading_zeros().wrapping_sub(wlz) & (u32::BITS - 1);
| ^ no implementation for `usize & u32`
|
= help: the trait `BitAnd<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bigcomp.rs:175:40
|
175 | let (q, r) = shift.ceil_divmod(Limb::BITS);
| ^^^^^^^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
175 | let (q, r) = shift.ceil_divmod(Limb::BITS.try_into().unwrap());
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:2065:27
|
2065 | let rs = Limb::BITS - s;
| ^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:2065:25
|
2065 | let rs = Limb::BITS - s;
| ^ no implementation for `u32 - usize`
|
= help: the trait `Sub<usize>` is not implemented for `u32`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1043:42
|
1043 | let mut count = index.saturating_mul(Limb::BITS);
| ^^^^^^^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1043 | let mut count = index.saturating_mul(Limb::BITS.try_into().unwrap());
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1058:28
|
1058 | Limb::BITS.checked_mul(x.len())
| ^^^^^^^ expected `u32`, found `usize`
|
help: you can convert a `usize` to a `u32` and panic if the converted value doesn't fit
|
1058 | Limb::BITS.checked_mul(x.len().try_into().unwrap())
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1059:22
|
1059 | .map(|v| v - nlz)
| ^^^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1059:14
|
1059 | .map(|v| v - nlz)
| --- ^^^^^^^^^^^ no implementation for `u32 - usize`
| |
| required by a bound introduced by this call
|
= help: the trait `Sub<usize>` is not implemented for `u32`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1060:20
|
1060 | .unwrap_or(usize::max_value())
| ^^^^^^^^^^^^^^^^^^ expected `u32`, found `usize`
|
help: you can convert a `usize` to a `u32` and panic if the converted value doesn't fit
|
1060 | .unwrap_or(usize::max_value().try_into().unwrap())
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1058:5
|
1054 | pub fn bit_length(x: &[Limb]) -> usize {
| ----- expected `usize` because of return type
...
1058 | / Limb::BITS.checked_mul(x.len())
1059 | | .map(|v| v - nlz)
1060 | | .unwrap_or(usize::max_value())
| |______________________________________^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1060 | .unwrap_or(usize::max_value()).try_into().unwrap()
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1085:23
|
1085 | debug_assert!(n < bits && n != 0);
| ^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1085 | debug_assert!(n < bits.try_into().unwrap() && n != 0);
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1092:25
|
1092 | let lshift = bits - n;
| ^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1092:23
|
1092 | let lshift = bits - n;
| ^ no implementation for `u32 - usize`
|
= help: the trait `Sub<usize>` is not implemented for `u32`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1134:19
|
1134 | let rem = n % bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot mod `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1134:17
|
1134 | let rem = n % bits;
| ^ no implementation for `usize % u32`
|
= help: the trait `Rem<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1135:19
|
1135 | let div = n / bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot divide `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1135:17
|
1135 | let div = n / bits;
| ^ no implementation for `usize / u32`
|
= help: the trait `Div<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1191:23
|
1191 | debug_assert!(n < bits);
| ^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1191 | debug_assert!(n < bits.try_into().unwrap());
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1201:25
|
1201 | let rshift = bits - n;
| ^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1201:23
|
1201 | let rshift = bits - n;
| ^ no implementation for `u32 - usize`
|
= help: the trait `Sub<usize>` is not implemented for `u32`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1253:19
|
1253 | let rem = n % bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot mod `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1253:17
|
1253 | let rem = n % bits;
| ^ no implementation for `usize % u32`
|
= help: the trait `Rem<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1254:19
|
1254 | let div = n / bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot divide `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1254:17
|
1254 | let div = n / bits;
| ^ no implementation for `usize / u32`
|
= help: the trait `Div<u32>` is not implemented for `usize`
Compiling atty v0.2.14
Compiling num_cpus v1.13.0
Compiling flate2 v1.0.16
Compiling time v0.1.43
Compiling clap v2.33.2
Some errors have detailed explanations: E0277, E0308.
For more information about an error, try `rustc --explain E0277`.
error: could not compile `lexical-core` due to 27 previous errors
warning: build failed, waiting for other jobs to finish...
error: build failed
inspur@NF5270M5:~/Desktop/aurora-develop/root_cause_analysis$ cargo build --release --bin rca
warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
package: /home/inspur/Desktop/aurora-develop/root_cause_analysis/predicate_monitoring/Cargo.toml
workspace: /home/inspur/Desktop/aurora-develop/root_cause_analysis/Cargo.toml
warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
package: /home/inspur/Desktop/aurora-develop/root_cause_analysis/trace_analysis/Cargo.toml
workspace: /home/inspur/Desktop/aurora-develop/root_cause_analysis/Cargo.toml
warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
package: /home/inspur/Desktop/aurora-develop/root_cause_analysis/root_cause_analysis/Cargo.toml
workspace: /home/inspur/Desktop/aurora-develop/root_cause_analysis/Cargo.toml
Compiling itertools v0.9.0
Compiling bzip2-sys v0.1.9+1.0.8
Compiling lexical-core v0.7.4
Compiling rand_core v0.5.1
Compiling regex v1.3.9
Compiling ptracer v0.2.0 (https://github.com/SWW13/ptracer.git?rev=786fce1ddf8b107c65921f9f5e3caecc496ff233#786fce1d)
Compiling zydis v3.1.1
Compiling serde_derive v1.0.115
Compiling proc-macro-error v1.0.4
Compiling rayon-core v1.7.1
Compiling bzip2 v0.3.3
Compiling rand_chacha v0.2.2
Compiling zip v0.5.6
Compiling structopt-derive v0.4.9
Compiling rand v0.7.3
Compiling rayon v1.3.1
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bhcomp.rs:62:24
|
62 | let bytes = bits / Limb::BITS;
| ^^^^^^^^^^ expected `usize`, found `u32`
error[E0277]: cannot divide `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bhcomp.rs:62:22
|
62 | let bytes = bits / Limb::BITS;
| ^ no implementation for `usize / u32`
|
= help: the trait `Div<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bigcomp.rs:157:55
|
157 | let nlz = den.leading_zeros().wrapping_sub(wlz) & (u32::BITS - 1);
| ^^^^^^^^^^^^^^^ expected `usize`, found `u32`
error[E0277]: no implementation for `usize & u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bigcomp.rs:157:53
|
157 | let nlz = den.leading_zeros().wrapping_sub(wlz) & (u32::BITS - 1);
| ^ no implementation for `usize & u32`
|
= help: the trait `BitAnd<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/bigcomp.rs:175:40
|
175 | let (q, r) = shift.ceil_divmod(Limb::BITS);
| ^^^^^^^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
175 | let (q, r) = shift.ceil_divmod(Limb::BITS.try_into().unwrap());
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:2065:27
|
2065 | let rs = Limb::BITS - s;
| ^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:2065:25
|
2065 | let rs = Limb::BITS - s;
| ^ no implementation for `u32 - usize`
|
= help: the trait `Sub<usize>` is not implemented for `u32`
Compiling env_logger v0.7.1
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1043:42
|
1043 | let mut count = index.saturating_mul(Limb::BITS);
| ^^^^^^^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1043 | let mut count = index.saturating_mul(Limb::BITS.try_into().unwrap());
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1058:28
|
1058 | Limb::BITS.checked_mul(x.len())
| ^^^^^^^ expected `u32`, found `usize`
|
help: you can convert a `usize` to a `u32` and panic if the converted value doesn't fit
|
1058 | Limb::BITS.checked_mul(x.len().try_into().unwrap())
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1059:22
|
1059 | .map(|v| v - nlz)
| ^^^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1059:14
|
1059 | .map(|v| v - nlz)
| --- ^^^^^^^^^^^ no implementation for `u32 - usize`
| |
| required by a bound introduced by this call
|
= help: the trait `Sub<usize>` is not implemented for `u32`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1060:20
|
1060 | .unwrap_or(usize::max_value())
| ^^^^^^^^^^^^^^^^^^ expected `u32`, found `usize`
|
help: you can convert a `usize` to a `u32` and panic if the converted value doesn't fit
|
1060 | .unwrap_or(usize::max_value().try_into().unwrap())
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1058:5
|
1054 | pub fn bit_length(x: &[Limb]) -> usize {
| ----- expected `usize` because of return type
...
1058 | / Limb::BITS.checked_mul(x.len())
1059 | | .map(|v| v - nlz)
1060 | | .unwrap_or(usize::max_value())
| |______________________________________^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1060 | .unwrap_or(usize::max_value()).try_into().unwrap()
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1085:23
|
1085 | debug_assert!(n < bits && n != 0);
| ^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1085 | debug_assert!(n < bits.try_into().unwrap() && n != 0);
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1092:25
|
1092 | let lshift = bits - n;
| ^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1092:23
|
1092 | let lshift = bits - n;
| ^ no implementation for `u32 - usize`
|
= help: the trait `Sub<usize>` is not implemented for `u32`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1134:19
|
1134 | let rem = n % bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot mod `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1134:17
|
1134 | let rem = n % bits;
| ^ no implementation for `usize % u32`
|
= help: the trait `Rem<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1135:19
|
1135 | let div = n / bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot divide `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1135:17
|
1135 | let div = n / bits;
| ^ no implementation for `usize / u32`
|
= help: the trait `Div<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1191:23
|
1191 | debug_assert!(n < bits);
| ^^^^ expected `usize`, found `u32`
|
help: you can convert a `u32` to a `usize` and panic if the converted value doesn't fit
|
1191 | debug_assert!(n < bits.try_into().unwrap());
| ++++++++++++++++++++
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1201:25
|
1201 | let rshift = bits - n;
| ^ expected `u32`, found `usize`
error[E0277]: cannot subtract `usize` from `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1201:23
|
1201 | let rshift = bits - n;
| ^ no implementation for `u32 - usize`
|
= help: the trait `Sub<usize>` is not implemented for `u32`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1253:19
|
1253 | let rem = n % bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot mod `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1253:17
|
1253 | let rem = n % bits;
| ^ no implementation for `usize % u32`
|
= help: the trait `Rem<u32>` is not implemented for `usize`
error[E0308]: mismatched types
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1254:19
|
1254 | let div = n / bits;
| ^^^^ expected `usize`, found `u32`
error[E0277]: cannot divide `usize` by `u32`
--> /home/inspur/.cargo/registry/src/mirrors.ustc.edu.cn-61ef6e0cd06fb9b8/lexical-core-0.7.4/src/atof/algorithm/math.rs:1254:17
|
1254 | let div = n / bits;
| ^ no implementation for `usize / u32`
|
= help: the trait `Div<u32>` is not implemented for `usize`
Some errors have detailed explanations: E0277, E0308.
For more information about an error, try `rustc --explain E0277`.
error: could not compile `lexical-core` due to 27 previous errors
warning: build failed, waiting for other jobs to finish...
error: build failed
from aurora.
The cargo.lock file wasn't deleted on this branch yet, sorry. You can either remove the file yourself or pull and it should work now.
from aurora.
@mu00d8 Hi, there seems to be some syntax errors
warning: use of deprecated associated function `zip::read::ZipFile::<'a>::sanitized_name`: by stripping `..`s from the path, the meaning of paths can change.
`mangled_name` can be used if this behaviour is desirable
--> trace_analysis/src/trace.rs:282:42
|
282 | let trace_file_path = trace_file.sanitized_name().to_str().unwrap().to_string();
| ^^^^^^^^^^^^^^
|
= note: `#[warn(deprecated)]` on by default
warning: `trace_analysis` (lib) generated 1 warning
Compiling root_cause_analysis v0.1.0 (/home/inspur/Desktop/aurora-develop/aurora-develop/root_cause_analysis/root_cause_analysis)
error: no rules expected the token `"No rankings in rankings.json"`
--> root_cause_analysis/src/rankings.rs:26:36
|
26 | assert!(!rankings.is_empty(), f"No rankings in rankings.json");
| -^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
| no rules expected this token in macro call
| help: missing comma here
error[E0412]: cannot find type `float` in this scope
--> root_cause_analysis/src/traces.rs:7:18
|
7 | const MIN_SCORE: float = 0.9;
| ^^^^^
| |
| not found in this scope
| help: perhaps you intended to use this type: `f32`
For more information about this error, try `rustc --explain E0412`.
error: could not compile `root_cause_analysis` due to 2 previous errors
warning: build failed, waiting for other jobs to finish...
error: build failed
from aurora.
Oh yeah, looks like I was so entangled in Python the other day that I messed the commit up lol
Sorry for that, I've double-checked and it builds for me.
from aurora.
@mu00d8
I have tried the new branch and the output is this๏ผ
analyzing traces
reading crashes
reading non-crashes
4619 crashes and 9855 non-crashes
filling cfg
calculating scores
dumping linear scores
found 44 predicates with score better than 0.9
trace analysis time: 202.203553857 seconds
monitoring predicates
monitoring time: 0.000277821 seconds
ranking predicates
thread 'main' panicked at 'No rankings in rankings.json', root_cause_analysis/src/rankings.rs:26:5
stack backtrace:
0: 0x55555580c636 - std::backtrace_rs::backtrace::libunwind::trace::hf2f6aa11f15afae5
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
1: 0x55555580c636 - std::backtrace_rs::backtrace::trace_unsynchronized::hfc44a6226fb5d219
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
2: 0x55555580c636 - std::sys_common::backtrace::_print_fmt::h70bd032f952cf459
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/sys_common/backtrace.rs:67:5
3: 0x55555580c636 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h49e1a23a5054c758
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/sys_common/backtrace.rs:46:22
4: 0x55555583a2dc - core::fmt::write::h182b3dab33fa727d
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/core/src/fmt/mod.rs:1163:17
5: 0x5555557fa985 - std::io::Write::write_fmt::h5ea7b9894bff0939
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/io/mod.rs:1696:15
6: 0x5555557fb4b0 - std::sys_common::backtrace::_print::hb75c2175482624d1
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/sys_common/backtrace.rs:49:5
7: 0x5555557fb4b0 - std::sys_common::backtrace::print::h335deda6566a1328
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/sys_common/backtrace.rs:36:9
8: 0x5555557fb4b0 - std::panicking::default_hook::{{closure}}::h6173da6e0942ed8a
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panicking.rs:210:50
9: 0x5555557fb051 - std::panicking::default_hook::h611c2dce9a02b0de
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panicking.rs:227:9
10: 0x5555557fbafb - std::panicking::rust_panic_with_hook::h00e530dc19739cc5
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panicking.rs:624:17
11: 0x55555557ddf5 - std::panicking::begin_panic::{{closure}}::hbfa1af66a1cfec65
12: 0x55555557ddc4 - std::sys_common::backtrace::__rust_end_short_backtrace::h18e1a5d073318786
13: 0x555555569aac - std::panicking::begin_panic::h799efb277f630890
14: 0x555555576992 - root_cause_analysis::rankings::rank_predicates::hc682dececd44c9f6
15: 0x555555575884 - rca::main::hd0ef147cb4cf8888
16: 0x555555575403 - std::sys_common::backtrace::__rust_begin_short_backtrace::hd5c3e5637b3f2d1c
17: 0x555555575a89 - std::rt::lang_start::{{closure}}::hbc3a4ee2b39aaf84
18: 0x5555557f73b1 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h40ff753a84ffa5fb
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/core/src/ops/function.rs:259:13
19: 0x5555557f73b1 - std::panicking::try::do_call::h18ca85146b2c97eb
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panicking.rs:403:40
20: 0x5555557f73b1 - std::panicking::try::he1f6b82ce0566f45
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panicking.rs:367:19
21: 0x5555557f73b1 - std::panic::catch_unwind::h305fd36a040bbd45
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panic.rs:133:14
22: 0x5555557f73b1 - std::rt::lang_start_internal::{{closure}}::h978c2fbb45d5a4b4
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/rt.rs:128:48
23: 0x5555557f73b1 - std::panicking::try::do_call::h8123cbc0366d0ace
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panicking.rs:403:40
24: 0x5555557f73b1 - std::panicking::try::h821570f729a702fd
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panicking.rs:367:19
25: 0x5555557f73b1 - std::panic::catch_unwind::hc178b81e7693b509
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/panic.rs:133:14
26: 0x5555557f73b1 - std::rt::lang_start_internal::h64a8327b226752c1
at /build/rustc-6496Ax/rustc-1.57.0+dfsg1+llvm/library/std/src/rt.rs:128:20
27: 0x555555575a72 - main
28: 0x7ffff7c52083 - __libc_start_main
at /build/glibc-KZwQYS/glibc-2.31/csu/../csu/libc-start.c:308:16
29: 0x55555557515e - _start
30: 0x0 - <unknown>
It seems that I am not getting the ranking.json file correctly
from aurora.
Yeah, looks like something is off with the rankings. Unfortunately, I don't think I've seen this happening before, so I can't really tell you what the problem is.
If you email me all files required to reproduce this issue to [email protected], I might be able look into it in the next few days.
from aurora.
@mu00d8 Ok, i will send you a copy of all the files.
from aurora.
@mu00d8
Hello,I think I know what the problem is. When I disable the dynamic link library, the compiled binary can be successfully analyzed by aurora.The predicate of the top50 is also very close to the root cause. Thanks again for your reply!
from aurora.
Nice! Happy bug hunting!
from aurora.
Related Issues (15)
- 03_rca.sh killed HOT 3
- Question on the root cause of the testcases in the paper HOT 4
- Help for fuzzing screen HOT 6
- Are there any public examples other than mruby? HOT 1
- Fuzz PHP uninitialized variable (CVE-2019-11038)(bug 20 in aurora) HOT 2
- aurora for python not working HOT 1
- thread 'main' panicked at 'No rankings in rankings.json', root_cause_analysis/src/rankings.rs:26:5 HOT 2
- is_heap_ptr(), is_stack_ptr() predicates HOT 1
- Support for 32bits programs plus IDA pro plugin HOT 1
- thread 'main' panicked at 'assertion failed: `(left == right)` HOT 6
- 02_tracing.sh obtain address.json without "heap_start" and "heap_end" HOT 5
- Question: Are the running times in Table 5 of the paper obtained running on a single core or on 32? HOT 1
- Questiones about aurora HOT 14
- encountered library issue when try to do root cause analysis HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from aurora.