WW #11

[Артур Гулецкий (huletski)]

Не работает пример из условия:

{lab_11}[2220]$ pwd && svn up && svn status
/home/hfx/dvl/cpp19/usoltsev.nikita/lab_11
Updating '.':
At revision 2634.
{lab_11}[2221]$ make
mkdir -p bin
g++ -O2 -Wall -Werror -Wextra -fsanitize=address -std=c++11 -Iinclude -c -MMD -o bin/bin_manip.o src/bin_manip.cpp
g++ -O2 -Wall -Werror -Wextra -fsanitize=address -std=c++11 -Iinclude -c -MMD -o bin/main.o src/main.cpp
g++ -O2 -Wall -Werror -Wextra -fsanitize=address -std=c++11 -Iinclude -c -MMD -o bin/employees.o src/employees.cpp
g++ bin/bin_manip.o bin/main.o bin/employees.o -o lab_11 -fsanitize=address
{lab_11}[2222]$ ./lab_11 
add 2 Joe 100 20 300
add 1 Billy 1000 1
list
1. <Должность сотрудника 1>
Sales Manager
Name: Joe
Base Salary: 100
Sold items: 20
Item price: 300
2. <Должность сотрудника 2>
Developer
Name: Billy
Base Salary: 1000
Has bonus: +
== Total salary: 2160
exit 
=================================================================
==20566==ERROR: AddressSanitizer: heap-buffer-overflow on address 0x606000000018 at pc 0x000000405ce7 bp 0x7ffc58457ee0 sp 0x7ffc58457ed0
READ of size 8 at 0x606000000018 thread T0
    #0 0x405ce6 in EmployeesArray::~EmployeesArray() (/home/hfx/dvl/cpp19/usoltsev.nikita/lab_11/lab_11+0x405ce6)
    #1 0x402987 in main (/home/hfx/dvl/cpp19/usoltsev.nikita/lab_11/lab_11+0x402987)
    #2 0x7f399ad2382f in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2082f)
    #3 0x402bf8 in _start (/home/hfx/dvl/cpp19/usoltsev.nikita/lab_11/lab_11+0x402bf8)

0x606000000018 is located 8 bytes to the left of 56-byte region [0x606000000020,0x606000000058)
allocated by thread T0 here:
    #0 0x7f399b7d5cbf in operator new(unsigned long) (/usr/lib/x86_64-linux-gnu/libasan.so.5+0x10dcbf)
    #1 0x4040d9 in add_Employee(EmployeesArray&) (/home/hfx/dvl/cpp19/usoltsev.nikita/lab_11/lab_11+0x4040d9)

SUMMARY: AddressSanitizer: heap-buffer-overflow (/home/hfx/dvl/cpp19/usoltsev.nikita/lab_11/lab_11+0x405ce6) in EmployeesArray::~EmployeesArray()
Shadow bytes around the buggy address:
  0x0c0c7fff7fb0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c0c7fff7fc0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c0c7fff7fd0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c0c7fff7fe0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
  0x0c0c7fff7ff0: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
=>0x0c0c7fff8000: fa fa fa[fa]00 00 00 00 00 00 00 fa fa fa fa fa
  0x0c0c7fff8010: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c0c7fff8020: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c0c7fff8030: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c0c7fff8040: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
  0x0c0c7fff8050: fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa fa
Shadow byte legend (one shadow byte represents 8 application bytes):
  Addressable:           00
  Partially addressable: 01 02 03 04 05 06 07 
  Heap left redzone:       fa
  Freed heap region:       fd
  Stack left redzone:      f1
  Stack mid redzone:       f2
  Stack right redzone:     f3
  Stack after return:      f5
  Stack use after scope:   f8
  Global redzone:          f9
  Global init order:       f6
  Poisoned by user:        f7
  Container overflow:      fc
  Array cookie:            ac
  Intra object redzone:    bb
  ASan internal:           fe
  Left alloca redzone:     ca
  Right alloca redzone:    cb
  Shadow gap:              cc
==20566==ABORTING

Обратите внимание, что вместо placeholder'a "<Должность сотрудника N>" нужно печатать актуальную должность в зависимости от типа сотрудника как в ​примере.

Некоторые замечания по коду:

• employees.h:73. Странно, что комментарий о деструкторе над конструктором;
• main.cpp:8. Кажется, что второе слово должно начинаться со строчной буквы;
• main.cpp:23. Реализуйте перегрузку op<< для EmployeeArray. Странно, что метод принимает не константный указатель, обычный;
• bin_manip.cpp:9. Если формат данных неверный (значение byte не 0 и не 1), устанавливайте failbit у потока. Аналогично для других считывающих манипуляторов;
• bin_manip.cpp:29. s/byte_of_int/sizeof _value;
• bin_manip.cpp:30. Для бинарного io логичнее использовать методы для unformatted чтения/записи (read, write, put и т.п.);
• employees.cpp:100. Реализуйте и вызывайте clone, как написано в комментарии на предыдущей строке в коде;
• employees.cpp:118. Очень похожий код лежит в main.cpp;
• employees.cpp:136. Дублирование кода (см. main.cpp). Почему в данном случае это особенно плохо разобрали на практике; коды, специфичные для типов, лучше хранить в качестве констант (статическая константа в соответствующем классе подойдет);
• employees.cpp:156. По массиву лучше ходить переменной типа std::size_t.

Обратите внимание, что аналогичные по смыслу замечания в других местах программы я не писал.

Баллы: 2 (не работает пример из условия), доделывайте.

[Артур Гулецкий (huletski)]

Решение не собирается -> -1

{lab_11}[2001]$ pwd && svn up && svn status
/home/hfx/dvl/cpp19/usoltsev.nikita/lab_11
Updating '.':
At revision 2788.
{lab_11}[2002]$ make
mkdir -p bin
g++ -O2 -Wall -Werror -Wextra -fsanitize=address -std=c++11 -g -Iinclude -c -MMD -o bin/bin_manip.o src/bin_manip.cpp
g++ -O2 -Wall -Werror -Wextra -fsanitize=address -std=c++11 -g -Iinclude -c -MMD -o bin/main.o src/main.cpp
g++ -O2 -Wall -Werror -Wextra -fsanitize=address -std=c++11 -g -Iinclude -c -MMD -o bin/employees.o src/employees.cpp
src/employees.cpp: In function ‘void make_new_empl(Employee*&, int)’:
src/employees.cpp:167:9: error: ‘assert’ was not declared in this scope
  167 |         assert(!"Unknown command\n");
      |         ^~~~~~
src/employees.cpp:6:1: note: ‘assert’ is defined in header ‘<cassert>’; did you forget to ‘#include <cassert>’?
    5 | #include "bin_manip.h"
  +++ |+#include <cassert>
    6 | 
Makefile:17: recipe for target 'bin/employees.o' failed
make: *** [bin/employees.o] Error 1

Если починить сборку и отключить санитайзер, при запуске на примере из условия valgrind находит ошибки, некоторые другие тесты падают -> -2.5.

По коду:

• main.cpp:12. можно было бы указатель на Employee возвращать из функции;
• bin_manip.cpp:12. лучше устанавливать бит, перезаписывая текущее состояние с устaновленным failbit, чтобы не сбросить случайно другие флаги;
• bin_manip.cpp:61. если файл записан в неверном формате и строка не заканчивается нуль-терминатором, цикл не завершится -> while (byte && is);
• bin_manip.cpp:78. ostream::write + string::c_str было бы лаконичнее;
• employees.cpp:55. инициализацию и присваивание лучше заменить конструктором копирования new Developer(*this).

+ часть замечаний из предыдущего комментария.

За мелкие замечания совокупно -0.75

Баллы: 5.75.