This file is part of DRD, a Valgrind tool for verification of
multithreaded programs.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
All rights reserved.
Redistribution and use in source and binary forms, with or without
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of DRD, a thread error detector.
- Copyright (C) 2009-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2009-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
VG_(details_name) ("drd");
VG_(details_version) (NULL);
VG_(details_description) ("a thread error detector");
- VG_(details_copyright_author)("Copyright (C) 2006-2017, and GNU GPL'd,"
+ VG_(details_copyright_author)("Copyright (C) 2006-2020, and GNU GPL'd,"
" by Bart Van Assche.");
VG_(details_bug_reports_to) (VG_BUGS_TO);
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of DRD, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
/*
This file is part of drd, a thread error detector.
- Copyright (C) 2006-2017 Bart Van Assche <bvanassche@acm.org>.
+ Copyright (C) 2006-2020 Bart Van Assche <bvanassche@acm.org>.
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
-e "s/, in frame #[0-9]* of thread /, in frame #? of thread /" \
-e "s/(\(functional\|thread\):[0-9]*)/(\1:...)/" \
-e "s/(tc20_verifywrap.c:261)/(tc20_verifywrap.c:262)/" \
--e "/^Copyright (C) 2006-201., and GNU GPL'd, by Bart Van Assche.$/d" \
+-e "/^Copyright (C) 2006-20.., and GNU GPL'd, by Bart Van Assche.$/d" \
-e "s/\([A-Za-z_]*\) (clone.S:[0-9]*)/\1 (in \/...libc...)/" \
-e "s/[A-Za-z_]* (pthread_create.c:[0-9]*)/(within libpthread-?.?.so)/" \
-e "s/[A-Za-z_]* (in [^ ]*libpthread-[0-9.]*\.so)/(within libpthread-?.?.so)/" \