GithubHelp home page GithubHelp logo

eth-sri / r4 Goto Github PK

View Code? Open in Web Editor NEW
5.0 6.0 3.0 51.86 MB

License: Other

Objective-C 1.70% C++ 69.16% C 5.07% Python 5.68% JavaScript 9.64% Shell 0.09% Perl 1.72% Assembly 0.12% Ruby 0.31% CSS 0.39% Objective-C++ 4.93% Java 0.01% CMake 0.33% Makefile 0.04% QMake 0.32% HTML 0.28% Batchfile 0.05% DTrace 0.01% Lex 0.02% Yacc 0.14%

r4's Introduction

WebERA

Install instructions:

  1. Install the extended version of EventRacer from https://github.com/sema/EventRacer.

Assuming that the prerequisites have been installed in advance:

git clone https://github.com/sema/EventRacer ~/R4-EventRacer
cd ~/R4-EventRacer
./build.sh
  1. Clone the R4 repository:
git clone https://github.com/eth-srl/R4 ~/R4
  1. Prepare the environment:
export WEBERA_DIR=~/R4
export EVENTRACER_DIR=~/R4-EventRacer
export LD_LIBRARY_PATH=~/R4/WebKitBuild/Release/lib
export QTDIR=/usr/share/qt4
export PATH=$QTDIR/bin:$PATH
  1. Build WebKit:
cd ~/R4
./build.sh

Running

To run R4 on foo.bar:

cd ~/R4/R4
./r4.sh foo.bar

The output is stored in ~/R4/R4/output/foo-bar. To generate a report from the output into ~/R4/R4/report/foo-bar issue the following command:

cd ~/R4/R4
./utils/batch-report/report.py website output report foo-bar

r4's People

Contributors

sema avatar vraychev avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar

r4's Issues

R4 crashes with segmentation fault during recording (Can't log command WRITE_MEMORY NodeTree:0x2e1ad20)

R4 crashes with a Segmentation fault following: Can't log command WRITE_MEMORY NodeTree:0x2e1ad20.

_manual mode without any user interaction_:

  • http://www.ford.com: http://users-cs.au.dk/cqa/R4/output/www-ford-com/runner/record.log

    Can't log command WRITE_MEMORY NodeTree:0x2e1ad20
    1   0x7f2741582844 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_Z16ActionLogFormatVN9ActionLog11CommandTypeEPKcP13__va_list_tag+0x204) [0x7f2741582844]
    2   0x7f2741582b27 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_Z15ActionLogFormatN9ActionLog11CommandTypeEPKcz+0x87) [0x7f2741582b27]
    3   0x7f2740c410a4 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Text6createEPNS_8DocumentERKN3WTF6StringE+0x94) [0x7f2740c410a4]
    4   0x7f2740bc9299 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore8Document14createTextNodeERKN3WTF6StringE+0x9) [0x7f2740bc9299]
    5   0x7f2740bb6ddf /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Attr15createTextChildEv+0x3f) [0x7f2740bb6ddf]
    6   0x7f2740bb6e89 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Attr8setValueERKN3WTF12AtomicStringE+0x79) [0x7f2740bb6e89]
    7   0x7f2740bf8dfe /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element20setAttributeInternalEmRKNS_13QualifiedNameERKN3WTF12AtomicStringENS_23EInUpdateStyleAttributeE+0x6e) [0x7f2740bf8dfe]
    8   0x7f2740c3c7b4 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore13StyledElement20updateStyleAttributeEv+0x64) [0x7f2740c3c7b4]
    9   0x7f2740bf3609 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore7Element13hasAttributesEv+0x29) [0x7f2740bf3609]
    10  0x7f2740b53364 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore15SelectorChecker16checkOneSelectorERKNS0_23SelectorCheckingContextERNS_8PseudoIdE+0xd4) [0x7f2740b53364]
    11  0x7f2740b55048 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore15SelectorChecker13checkSelectorERKNS0_23SelectorCheckingContextERNS_8PseudoIdE+0x18) [0x7f2740b55048]
    12  0x7f2740b9e0a0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore13StyleResolver27collectMatchingRulesForListEPKN3WTF6VectorINS_8RuleDataELm0EEERiS7_RKNS0_12MatchOptionsE+0x3c0) [0x7f2740b9e0a0]
    13  0x7f2740baacaa /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore13StyleResolver16matchAuthorRulesERNS0_11MatchResultEb+0x6a) [0x7f2740baacaa]
    14  0x7f2740bacffd /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore13StyleResolver13matchAllRulesERNS0_11MatchResultEb+0x14d) [0x7f2740bacffd]
    15  0x7f2740baf3d5 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore13StyleResolver15styleForElementEPNS_7ElementEPNS_11RenderStyleENS_20StyleSharingBehaviorENS_20RuleMatchingBehaviorEPNS_12RenderRegionE+0x265) [0x7f2740baf3d5]
    16  0x7f2740bf375a /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element16styleForRendererEv+0x3a) [0x7f2740bf375a]
    17  0x7f2740bfa3e7 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x287) [0x7f2740bfa3e7]
    18  0x7f2740bfa2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f2740bfa2b0]
    19  0x7f2740bfa2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f2740bfa2b0]
    20  0x7f2740bddb7b /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore8Document11recalcStyleENS_4Node11StyleChangeE+0x28b) [0x7f2740bddb7b]
    21  0x7f2740bddc83 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore8Document19updateStyleIfNeededEv+0x43) [0x7f2740bddc83]
    22  0x7f2740f92d49 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12ThreadTimers17fireTimerCallbackEPvRKN3WTF21EventActionDescriptorE+0x49) [0x7f2740f92d49]
    23  0x7f2740f92fc5 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12ThreadTimers24sharedTimerFiredInternalEv+0xb5) [0x7f2740f92fc5]
    24  0x7f273f000a31 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN7QObject5eventEP6QEvent+0x61) [0x7f273f000a31]
    25  0x7f273f861e2c /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN19QApplicationPrivate13notify_helperEP7QObjectP6QEvent+0x8c) [0x7f273f861e2c]
    26  0x7f273f8684a0 /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN12QApplication6notifyEP7QObjectP6QEvent+0x270) [0x7f273f8684a0]
    27  0x7f273efe84dd /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN16QCoreApplication14notifyInternalEP7QObjectP6QEvent+0x6d) [0x7f273efe84dd]
    28  0x7f273f018323 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(+0x1ad323) [0x7f273f018323]
    29  0x7f273f015629 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(+0x1aa629) [0x7f273f015629]
    30  0x7f273cec2e04 /lib/x86_64-linux-gnu/libglib-2.0.so.0(g_main_context_dispatch+0x254) [0x7f273cec2e04]
    31  0x7f273cec3048 /lib/x86_64-linux-gnu/libglib-2.0.so.0(+0x49048) [0x7f273cec3048]
    /home/christofferqa/R4/R4/record.sh: line 103: 15970 Segmentation fault      (core dumped)
    

Auto exploration and alerts

Auto exploration and dialogues, such as alert, does not work together. Currently WebERA exits with an error code without saving any execution data.

R4 crashes with error during model checking (Error: Repeating the initial recording failed)

Recording phase succeeds, but R4 crashes with an error during model checking.

_auto mode_:

  • https://www.att.com: http://users-cs.au.dk/cqa/R4/output/att-com/runner/mc.log

    Could not run command: /home/christofferqa/R4/R4/clients/Replay/bin/replay -hidewindow  -verbose  -out_dir /home/christofferqa/r4tmp/6222 -timeout 60  -in_dir /home/christofferqa/r4tmp/6222/record// "https://att.com" /home/christofferqa/r4tmp/6222/new_schedule.data > /home/christofferqa/r4tmp/6222/stdout.txt
    Statistics: conflict-reversal-pruning: 0
    Statistics: mini-sleep-set-pruning: 0
    Statistics: conflict-reversal-dependency-pruning: 0
    Statistics: same-state-reversal-pruning: 0
    Statistics: schedules successful by depth: 
    Tried 0 schedules. 0 generated, 0 successful
    real 0.51
    user 0.23
    sys 0.07
    Error: Repeating the initial recording failed
    

Symbol lookup error

I have been trying to run R4 on a few web pages, and consistently get a symbol lookup error on _ZN7WebCore16ThreadGlobalData10staticDataE.

For example, after running ./r4.sh brics.dk/r4 the log at output/brics-dk-r4/runner/record.log is as follows.

Running  http brics.dk/r4  @  /home/christofferqa/r4tmp/14226
> /home/christofferqa/R4/R4/clients/Record/bin/record -out_dir /home/christofferqa/r4tmp/14226/record -ignore-mouse-move -verbose  http://brics.dk/r4
/home/christofferqa/R4/R4/clients/Record/bin/record: symbol lookup error: /home/christofferqa/R4/R4/clients/Record/bin/record: undefined symbol: _ZN7WebCore16ThreadGlobalData10staticDataE

Is this an issue you have seen before, and do you have any suggestions for troubleshooting? Thanks!

Missing support for CSS3 transitions

CSS3 transitions trigger a number of events that are currently not handled. Right now WebERA's behaviour is undefined if these are used (often resulting in a crash).

R4 crashes with segmentation fault during recording (Can't log start scope event:webkitTransitionEnd)

R4 crashes with a Segmentation fault following: Can't log start scope event:webkitTransitionEnd.

_manual mode without any user interaction_:

  • https://www.apple.com: http://users-cs.au.dk/cqa/R4/output/www-apple-com/runner/record.log

    Can't log start scope event:webkitTransitionEnd
    1   0x7f629195d358 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_Z19ActionLogScopeStartPKc+0xb8) [0x7f629195d358]
    2   0x7f6290fdaf22 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore15EventDispatcher13dispatchEventEN3WTF10PassRefPtrINS_5EventEEE+0xa2) [0x7f6290fdaf22]
    3   0x7f6290fd9787 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore21EventDispatchMediator13dispatchEventEPNS_15EventDispatcherE+0x27) [0x7f6290fd9787]
    4   0x7f6290fda614 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore15EventDispatcher13dispatchEventEPNS_4NodeEN3WTF10PassRefPtrINS_21EventDispatchMediatorEEE+0x24) [0x7f6290fda614]
    5   0x7f6290fefbd2 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Node13dispatchEventEN3WTF10PassRefPtrINS_5EventEEE+0x32) [0x7f6290fefbd2]
    6   0x7f6291250c8c /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore26AnimationControllerPrivate24fireEventsAndUpdateStyleEv+0x31c) [0x7f6291250c8c]
    7   0x7f629136dd49 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12ThreadTimers17fireTimerCallbackEPvRKN3WTF21EventActionDescriptorE+0x49) [0x7f629136dd49]
    8   0x7f629136dfc5 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12ThreadTimers24sharedTimerFiredInternalEv+0xb5) [0x7f629136dfc5]
    9   0x7f628f3dba31 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN7QObject5eventEP6QEvent+0x61) [0x7f628f3dba31]
    10  0x7f628fc3ce2c /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN19QApplicationPrivate13notify_helperEP7QObjectP6QEvent+0x8c) [0x7f628fc3ce2c]
    11  0x7f628fc434a0 /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN12QApplication6notifyEP7QObjectP6QEvent+0x270) [0x7f628fc434a0]
    12  0x7f628f3c34dd /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN16QCoreApplication14notifyInternalEP7QObjectP6QEvent+0x6d) [0x7f628f3c34dd]
    13  0x7f628f3f3323 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(+0x1ad323) [0x7f628f3f3323]
    14  0x7f628f3f0629 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(+0x1aa629) [0x7f628f3f0629]
    15  0x7f628d29de04 /lib/x86_64-linux-gnu/libglib-2.0.so.0(g_main_context_dispatch+0x254) [0x7f628d29de04]
    16  0x7f628d29e048 /lib/x86_64-linux-gnu/libglib-2.0.so.0(+0x49048) [0x7f628d29e048]
    17  0x7f628d29e0ec /lib/x86_64-linux-gnu/libglib-2.0.so.0(g_main_context_iteration+0x2c) [0x7f628d29e0ec]
    18  0x7f628f3f07a1 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN20QEventDispatcherGlib13processEventsE6QFlagsIN10QEventLoop17ProcessEventsFlagEE+0x71) [0x7f628f3f07a1]
    19  0x7f628fcdebe6 /usr/lib/x86_64-linux-gnu/libQtGui.so.4(+0x26bbe6) [0x7f628fcdebe6]
    20  0x7f628f3c20af /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN10QEventLoop13processEventsE6QFlagsINS_17ProcessEventsFlagEE+0x2f) [0x7f628f3c20af]
    21  0x7f628f3c23a5 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN10QEventLoop4execE6QFlagsINS_17ProcessEventsFlagEE+0x175) [0x7f628f3c23a5]
    22  0x7f628f3c7b79 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN16QCoreApplication4execEv+0x89) [0x7f628f3c7b79]
    23  0x40b5e3 /home/christofferqa/R4/R4/clients/Record/bin/record() [0x40b5e3]
    24  0x7f628e97eec5 /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf5) [0x7f628e97eec5]
    25  0x40b718 /home/christofferqa/R4/R4/clients/Record/bin/record() [0x40b718]
    /home/christofferqa/R4/R4/record.sh: line 103: 15883 Segmentation fault      (core dumped)
    
  • http://www.verizonwireless.com: http://users-cs.au.dk/cqa/R4/output/verizonwireless-com/runner/record.log

    Can't log start scope event:webkitTransitionEnd
    1   0x7fb069e3c358 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_Z19ActionLogScopeStartPKc+0xb8) [0x7fb069e3c358]
    2   0x7fb0694b9f22 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore15EventDispatcher13dispatchEventEN3WTF10PassRefPtrINS_5EventEEE+0xa2) [0x7fb0694b9f22]
    3   0x7fb0694b8787 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore21EventDispatchMediator13dispatchEventEPNS_15EventDispatcherE+0x27) [0x7fb0694b8787]
    4   0x7fb0694b9614 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore15EventDispatcher13dispatchEventEPNS_4NodeEN3WTF10PassRefPtrINS_21EventDispatchMediatorEEE+0x24) [0x7fb0694b9614]
    5   0x7fb0694cebd2 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Node13dispatchEventEN3WTF10PassRefPtrINS_5EventEEE+0x32) [0x7fb0694cebd2]
    6   0x7fb06972fc8c /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore26AnimationControllerPrivate24fireEventsAndUpdateStyleEv+0x31c) [0x7fb06972fc8c]
    7   0x7fb06984cd49 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12ThreadTimers17fireTimerCallbackEPvRKN3WTF21EventActionDescriptorE+0x49) [0x7fb06984cd49]
    8   0x7fb06984cfc5 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12ThreadTimers24sharedTimerFiredInternalEv+0xb5) [0x7fb06984cfc5]
    9   0x7fb0678baa31 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN7QObject5eventEP6QEvent+0x61) [0x7fb0678baa31]
    10  0x7fb06811be2c /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN19QApplicationPrivate13notify_helperEP7QObjectP6QEvent+0x8c) [0x7fb06811be2c]
    11  0x7fb0681224a0 /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN12QApplication6notifyEP7QObjectP6QEvent+0x270) [0x7fb0681224a0]
    12  0x7fb0678a24dd /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN16QCoreApplication14notifyInternalEP7QObjectP6QEvent+0x6d) [0x7fb0678a24dd]
    13  0x7fb0678d2323 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(+0x1ad323) [0x7fb0678d2323]
    14  0x7fb0678cf629 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(+0x1aa629) [0x7fb0678cf629]
    15  0x7fb06577ce04 /lib/x86_64-linux-gnu/libglib-2.0.so.0(g_main_context_dispatch+0x254) [0x7fb06577ce04]
    16  0x7fb06577d048 /lib/x86_64-linux-gnu/libglib-2.0.so.0(+0x49048) [0x7fb06577d048]
    17  0x7fb06577d0ec /lib/x86_64-linux-gnu/libglib-2.0.so.0(g_main_context_iteration+0x2c) [0x7fb06577d0ec]
    18  0x7fb0678cf7a1 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN20QEventDispatcherGlib13processEventsE6QFlagsIN10QEventLoop17ProcessEventsFlagEE+0x71) [0x7fb0678cf7a1]
    19  0x7fb0681bdbe6 /usr/lib/x86_64-linux-gnu/libQtGui.so.4(+0x26bbe6) [0x7fb0681bdbe6]
    20  0x7fb0678a10af /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN10QEventLoop13processEventsE6QFlagsINS_17ProcessEventsFlagEE+0x2f) [0x7fb0678a10af]
    21  0x7fb0678a13a5 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN10QEventLoop4execE6QFlagsINS_17ProcessEventsFlagEE+0x175) [0x7fb0678a13a5]
    22  0x7fb0678a6b79 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN16QCoreApplication4execEv+0x89) [0x7fb0678a6b79]
    23  0x40b5e3 /home/christofferqa/R4/R4/clients/Record/bin/record() [0x40b5e3]
    24  0x7fb066e5dec5 /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf5) [0x7fb066e5dec5]
    25  0x40b718 /home/christofferqa/R4/R4/clients/Record/bin/record() [0x40b718]
    /home/christofferqa/R4/R4/record.sh: line 103: 15640 Segmentation fault 
    

R4 misses race due to likely issue in its custom EventRacer implementation

Actual: When running the original EventRacer tool on the following simple example, a race is reported if a.js loads after b.js. The extended EventRacer tool used by R4 misses this race, and hence R4 also misses the race.
Expected: R4 detects the non-determinism leading to two different visual states.

index.html:

<output id="o">Loading</output>
<script>
window.status = 'Loading';
</script>
<script src="a.js" async></script>
<script src="b.js" async></script>

a.js:

window.status = 'Loaded';

b.js:

document.getElementById("o").value = window.status;

R4 crashes with segmentation fault during recording (Can't log start scope event:change)

_manual mode_:

  • https://www.att.com/shop/wireless/devices/smartphones.html: http://users-cs.au.dk/cqa/R4/output/att-com-shop-wireless-devices-smartphones-html/runner/record.log

    Upon changing the selected item in "Sort by":

    Can't log start scope event:change
    1   0x7f21e224c358 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_Z19ActionLogScopeStartPKc+0xb8) [0x7f21e224c358]
    2   0x7f21e18c9f22 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore15EventDispatcher13dispatchEventEN3WTF10PassRefPtrINS_5EventEEE+0xa2) [0x7f21e18c9f22]
    3   0x7f21e18c8787 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore21EventDispatchMediator13dispatchEventEPNS_15EventDispatcherE+0x27) [0x7f21e18c8787]
    4   0x7f21e18c9614 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore15EventDispatcher13dispatchEventEPNS_4NodeEN3WTF10PassRefPtrINS_21EventDispatchMediatorEEE+0x24) [0x7f21e18c9614]
    5   0x7f21e18debd2 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Node13dispatchEventEN3WTF10PassRefPtrINS_5EventEEE+0x32) [0x7f21e18debd2]
    6   0x7f21e18de5d7 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Node19dispatchChangeEventEv+0x57) [0x7f21e18de5d7]
    7   0x7f21e1a0b589 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore22HTMLFormControlElement30dispatchFormControlChangeEventEv+0x9) [0x7f21e1a0b589]
    8   0x7f21e1a38de8 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore17HTMLSelectElement12selectOptionEij+0x178) [0x7f21e1a38de8]
    9   0x7f21dfcc687a /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN11QMetaObject8activateEP7QObjectPKS_iPPv+0x2da) [0x7f21dfcc687a]
    10  0x7f21e16ce55a /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN16QWebSelectMethod10selectItemEibb+0x4a) [0x7f21e16ce55a]
    11  0x7f21dfccac1e /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN7QObject5eventEP6QEvent+0x24e) [0x7f21dfccac1e]
    12  0x7f21e052be2c /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN19QApplicationPrivate13notify_helperEP7QObjectP6QEvent+0x8c) [0x7f21e052be2c]
    13  0x7f21e05324a0 /usr/lib/x86_64-linux-gnu/libQtGui.so.4(_ZN12QApplication6notifyEP7QObjectP6QEvent+0x270) [0x7f21e05324a0]
    14  0x7f21dfcb24dd /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN16QCoreApplication14notifyInternalEP7QObjectP6QEvent+0x6d) [0x7f21dfcb24dd]
    15  0x7f21dfcb5b3d /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN23QCoreApplicationPrivate16sendPostedEventsEP7QObjectiP11QThreadData+0x1ed) [0x7f21dfcb5b3d]
    16  0x7f21dfcdff83 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(+0x1aaf83) [0x7f21dfcdff83]
    17  0x7f21ddb8ce04 /lib/x86_64-linux-gnu/libglib-2.0.so.0(g_main_context_dispatch+0x254) [0x7f21ddb8ce04]
    18  0x7f21ddb8d048 /lib/x86_64-linux-gnu/libglib-2.0.so.0(+0x49048) [0x7f21ddb8d048]
    19  0x7f21ddb8d0ec /lib/x86_64-linux-gnu/libglib-2.0.so.0(g_main_context_iteration+0x2c) [0x7f21ddb8d0ec]
    20  0x7f21dfcdf7a1 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN20QEventDispatcherGlib13processEventsE6QFlagsIN10QEventLoop17ProcessEventsFlagEE+0x71) [0x7f21dfcdf7a1]
    21  0x7f21e05cdbe6 /usr/lib/x86_64-linux-gnu/libQtGui.so.4(+0x26bbe6) [0x7f21e05cdbe6]
    22  0x7f21dfcb10af /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN10QEventLoop13processEventsE6QFlagsINS_17ProcessEventsFlagEE+0x2f) [0x7f21dfcb10af]
    23  0x7f21dfcb13a5 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN10QEventLoop4execE6QFlagsINS_17ProcessEventsFlagEE+0x175) [0x7f21dfcb13a5]
    24  0x7f21dfcb6b79 /usr/lib/x86_64-linux-gnu/libQtCore.so.4(_ZN16QCoreApplication4execEv+0x89) [0x7f21dfcb6b79]
    25  0x40b5e3 /home/christofferqa/R4/R4/clients/Record/bin/record() [0x40b5e3]
    26  0x7f21df26dec5 /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf5) [0x7f21df26dec5]
    27  0x40b718 /home/christofferqa/R4/R4/clients/Record/bin/record() [0x40b718]
    /home/christofferqa/R4/R4/record.sh: line 103: 16682 Segmentation fault      (core dumped) $RECORD_BIN $ARGS $PROTOCOL://$URL 2>&1
    

R4 crashes with segmentation fault during recording (Not in a valid event action.)

_manual mode_:

  • http://cvshealth.com: http://users-cs.au.dk/cqa/R4/output/cvshealth-com/runner/record.log

    Upon clicking on the right arrow icon at "The Latest":

    Not in a valid event action.
    1   0x7f953a84835d /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore14EventActionsHB23checkInValidEventActionEv+0x4d) [0x7f953a84835d]
    2   0x7f953a8487c2 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore20HBCurrentEventActionEv+0x22) [0x7f953a8487c2]
    3   0x7f953a3aadec /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore13CSSImageValueC1ERKN3WTF6StringEPNS_10StyleImageE+0x5c) [0x7f953a3aadec]
    4   0x7f953a737fa2 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(+0xb37fa2) [0x7f953a737fa2]
    5   0x7f953a738272 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore34FillLayerRefCountedPropertyWrapperINS_10StyleImageEE5blendEPKNS_13AnimationBaseEPNS_9FillLayerEPKS6_S9_d+0x82) [0x7f953a738272]
    6   0x7f953a731512 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZNK7WebCore25FillLayersPropertyWrapper5blendEPKNS_13AnimationBaseEPNS_11RenderStyleEPKS4_S7_d+0xa2) [0x7f953a731512]
    7   0x7f953a740b95 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore20CSSPropertyAnimation15blendPropertiesEPKNS_13AnimationBaseENS_13CSSPropertyIDEPNS_11RenderStyleEPKS5_S8_d+0x75) [0x7f953a740b95]
    8   0x7f953a742a94 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore17ImplicitAnimation7animateEPNS_18CompositeAnimationEPNS_12RenderObjectEPKNS_11RenderStyleEPS5_RN3WTF6RefPtrIS5_EE+0x54) [0x7f953a742a94]
    9   0x7f953a730c28 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore18CompositeAnimation7animateEPNS_12RenderObjectEPNS_11RenderStyleES4_+0x168) [0x7f953a730c28]
    10  0x7f953a72ca12 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore19AnimationController16updateAnimationsEPNS_12RenderObjectEPNS_11RenderStyleE+0xb2) [0x7f953a72ca12]
    11  0x7f953a93330b /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12RenderObject18setAnimatableStyleEN3WTF10PassRefPtrINS_11RenderStyleEEE+0x3b) [0x7f953a93330b]
    12  0x7f953a4c99a7 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore4Node14setRenderStyleEN3WTF10PassRefPtrINS_11RenderStyleEEE+0x27) [0x7f953a4c99a7]
    13  0x7f953a4af4d5 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x375) [0x7f953a4af4d5]
    14  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    15  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    16  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    17  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    18  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    19  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    20  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    21  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    22  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    23  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    24  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    25  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    26  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    27  0x7f953a4af2b0 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore7Element11recalcStyleENS_4Node11StyleChangeE+0x150) [0x7f953a4af2b0]
    28  0x7f953a492b7b /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore8Document11recalcStyleENS_4Node11StyleChangeE+0x28b) [0x7f953a492b7b]
    29  0x7f953a492c83 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore8Document19updateStyleIfNeededEv+0x43) [0x7f953a492c83]
    30  0x7f953a72abe1 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore26AnimationControllerPrivate24fireEventsAndUpdateStyleEv+0x271) [0x7f953a72abe1]
    31  0x7f953a847d49 /home/christofferqa/R4/R4/clients/BaseClient/../../../WebKitBuild/Release/lib/libQtWebKit.so.4(_ZN7WebCore12ThreadTimers17fireTimerCallbackEPvRKN3WTF21EventActionDescriptorE+0x49) [0x7f953a847d49]
    /home/christofferqa/R4/R4/record.sh: line 103: 16536 Segmentation fault      (core dumped)
    

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.