search

mnemonikr / symbolic-pcode

Apache License 2.0
0 stars 0 forks source link

Added support for shifting SymbolicBitVec #47

Closed mnemonikr closed 1 year ago

mnemonikr commented 1 year ago 
Filename                      Regions    Missed Regions     Cover   Functions  Missed Functions  Executed       Lines      Missed Lines     Cover    Branches   Missed Branches     Cover
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
sla/src/ffi/rust.rs                 8                 8     0.00%           3                 3     0.00%          24                24     0.00%           0                 0         -
sla/src/ffi/sys.rs                 54                54     0.00%          49                49     0.00%          66                66     0.00%           0                 0         -
sla/src/sleigh.rs                 171               161     5.85%          54                46    14.81%         420               409     2.62%           0                 0         -
src/emulator.rs                   866               322    62.82%          96                11    88.54%        1462               183    87.48%           0                 0         -
src/mem.rs                         90                32    64.44%          24                 8    66.67%         202                61    69.80%           0                 0         -
sym/src/convert.rs                 27                17    37.04%          23                17    26.09%          90                58    35.56%           0                 0         -
sym/src/sym.rs                    400               315    21.25%         134               101    24.63%         791               584    26.17%           0                 0         -
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
TOTAL                            1616               909    43.75%         383               235    38.64%        3055              1385    54.66%           0                 0         -