1. Pascal / Говнокод #16191

    +86

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    17. 17
    18. 18
    19. 19
    20. 20
    21. 21
    22. 22
    23. 23
    24. 24
    25. 25
    26. 26
    27. 27
    28. 28
    29. 29
    30. 30
    31. 31
    32. 32
    33. 33
    function IsMemoryCommitByAdress(const AAddress: Pointer): Boolean;
var
  MemoryInfo: TMemoryBasicInformation;
begin
  Result := False;
  if not Assigned(AAddress) then
  Exit;
  VirtualQuery(AAddress, MemoryInfo, SizeOf(MemoryInfo));
  Result := MemoryInfo.State and MEM_COMMIT <> 0;
end;

function IsPointerToVMT(const APointer: Pointer): Boolean;
  var
  VMTPointer, VMTPointerSelf: Pointer;
begin
  Result := False;
  if not IsMemoryCommitByAdress(APointer) then
  Exit;
  VMTPointer := APointer;
  VMTPointerSelf := Pointer(Integer(VMTPointer) + vmtSelfPtr);
  if not IsMemoryCommitByAdress(VMTPointer) then
  Exit;
  if not IsMemoryCommitByAdress(VMTPointerSelf) then
  Exit;
  if not IsMemoryCommitByAdress(PPointer(VMTPointerSelf)^) then
  Exit;
  Result := PPointer(VMTPointerSelf)^ = VMTPointer;
end;

function IsBadptr(apointer:pointer):boolean;
begin
  Result := IsMemoryCommitByAdress(APointer) and IsPointerToVMT(PPointer(APointer)^);
end;

    Функция, для определения качества указателя, в ситуации "один объект - несколько указателей".
    Гк в том, что нет надежности - это все равно, что юзать IsBadReadPtr и аналогичные.

    Почему-то никто не пытается использовать операторы is и as (я узнал о них благодаря Тарасу, спасибо ему), чтобы сравнить качество приведения.

    Запостил: brutushafens, 19 Июня 2014

    Комментарии (19) RSS

    • ava laMer007 19.06.2014 10:39 # 0

      Это актуально во всяких отладчиках, артманиях, ботах и тд
      Ответить

      • ava bormand 19.06.2014 11:16 # +1

        Ну т.е. для копания в чужих процессах. В своём то нахера такое счастье?
        Ответить

    • ava bormand 19.06.2014 11:16 # 0

      > определения качества указателя
      А не проще не ложить в указатели мусор и не забывать занилять их, есил память освободили?

      > is и as
      is и as запросто могут крашнуться на мусорном указателе. Разве нет?
      Ответить

      • ava tirinox 19.06.2014 12:54 # +1

        Мне казалось, что много где и много что может крашнуться, если попытается что-то сделать с памятью по мусорному указателю.
        Ответить

        • ava bormand 19.06.2014 13:04 # 0

          Угу. Поэтому правильное решение только одно - не допускать мусорных указателей.
          Ответить

          • ava kipar 19.06.2014 13:05 # 0

            А для надежность использовать код выше, который не даст нам крашнутся даже если они появятся
            Ответить

    • ava kipar 19.06.2014 11:20 # +1

      >Почему-то никто не пытается использовать операторы is и as (я узнал о них благодаря Тарасу, спасибо ему), чтобы сравнить качество приведения.
      И как по-твоему работает is?
      Точно также, он обращается к указателю как к объекту и пытается прочитать по отрицательному смещению указатель на vmt.
      Только я сомневаюсь что он проверяет выделена ли данная память (в fpc не проверяет), соответственно если вместо указателя передали случайное число, то программа с "is" крашнется, а эта процедура вернет false.

      ---
      Вот краш: http://ideone.com/jAE6Oq
      Ответить

      • ava brutushafens 19.06.2014 16:13 # +1

        cleaned
        Ответить

        • ava kipar 19.06.2014 17:04 # 0

          А дальше....
          writeln( TObject(23) is TObject);

          получаем Runtime Error. Потому что обратились по некорректному адресу.
          Ответить

          • ava brutushafens 19.06.2014 17:08 # +1

            cleaned
            Ответить

            • ava bormand 19.06.2014 17:19 # +1

              > А что делать, если в поток передали указатель на объект, но при этом сам объект удалили посреди выполнения потока?
              Как я и писал выше - просто никогда так не делать. Заранее продумай, кто будет отвечать за жизнь объекта и как эта ответственность будет передаваться, и проблемы не будет. Ну либо реализуй/найди потокобезопасный подсчет ссылок, раз уж сборщика мусора нету в делфи.

              А as и is совсем не для этого придуманы. Они нужны на случай, если ты указатель на какой-нибудь TStringList кастанул в TObject и хочешь проверить - а правда ли это не просто TObject, а именно TStringList. Ну и кастануть в обратную сторону... Для мусорных указателей они совершенно не предназначены, это UB, как любят говорить крестовики.
              Ответить

              • ava brutushafens 19.06.2014 17:37 # +1

                cleaned
                Ответить

                • ava bormand 19.06.2014 17:42 # 0

                  > item с извлеченным устройством будет убран из списка
                  Ну как вариант - просто помечай их каким-нибудь флагом вместо удаления. Либо отдавай объекты потокам насовсем, а поток при завершении пусть втыкает результаты в какойнить потокобезопасный список.

                  Ну либо отдавай потоку не объект а какой-нибудь идентификатор (раз объект все равно не юзаешь). И если item'а с таким идентификатором нет - просто забивай на результат.

                  Либо перед удалением айтема сначала останови соотв. поток.

                  Вариантов дохера, на самом деле ;)
                  Ответить

              • ava Soul_re@ver 20.06.2014 18:33 # 0

                >Ну и кастануть в обратную сторону...

                dynamic_cast в Дельфи? Нахрен им это говно сдалось? Лучше так ничего и не придумали?
                Ответить

    • ava Sim_salapim 19.03.2018 23:39 # 0

      Vanished
      Ответить

    Добавить комментарий