Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
19 июля

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

ARM, RISC-V контроллеры

144460 Топик полностью

Evgeny_CD_ (14.01.2009 10:37, просмотров: 1) ответил Alex B. на А вот для этого нужно использовать статический анализ кода. Иначе можно дойти до идиотизма

Что есть статический анализ кода в данном случае?

- Lint - Alex B.(14.01.2009 11:28, ссылка)
  - А эта... как попробовать? - Vladimir Ljaschko(14.01.2009 13:49)
    - Если надо, выложу еще раз - Алексей Мусин(14.01.2009 14:01, ссылка)
      - Ага, "404 not found" - Vladimir Ljaschko(14.01.2009 14:09)
        
        >>> - Алексей Мусин(14.01.2009 14:20, ссылка)
    - Можно попробовать SPLINT. Мне он во-первых как-то не пошел, а во вторых к микрочиповскому MPLABу можно PC-Lint подключать - поэтому выбрал его Alex B.(44 знак., 14.01.2009 13:57, ссылка)
      - Был бы признателен за выкладывание. Не ословод. - Evgeny_CD(14.01.2009 13:59)
        
        по ссылке. Пароль под кошкой VAI =) - Alex B.(14.01.2009 14:35, ссылка)
        
        дайте ссылку на кошку :) - Ruslan(14.01.2009 14:51)
        
        спасибо - Ruslan(14.01.2009 15:06)
        
        -> - Evgeny_CD(14.01.2009 14:57, ссылка)
        
        >>> - Алексей Мусин(14.01.2009 14:55, ссылка)
        
        :-D - VAI(14.01.2009 14:40)
  - Согласен. Но уже если быть параноиком, то и проверку в код вставить не помешает. Для пущего удобства обрамив ее в макрос с SAFETY_LEVEL. Т.е. если место|время жмет, викидываем код, а так - пусть живет. - Evgeny_CD(14.01.2009 11:48)
    - иногда вы как ляпнете чего-нить, что сразу кажется, что теоретег... - Alex B.(14.01.2009 11:56)
      - Ну и что такого теоретическоГо в макросе типа Evgeny_CD(250 знак., 14.01.2009 13:18)
        
        это издевательство над здравым смыслов. Пользуйтесь Lint - Alex B.(14.01.2009 13:44)
        
        И в чем издевательство? Если многоэтажные макросы ставить налево и направо - издевательство. А если есть десяток-другой стандартных отлаженных дебуг макросов типа assert и пр, то почему бы ими не воспользоваться? Если все статично - в общем, можно и не Evgeny_CD(91 знак., 14.01.2009 13:47)
      - Я - параноик, Евгений - теоретик, а вы - экстремист. :) Алексей Мусин(75 знак., 14.01.2009 12:14)
        
        И что, вы когда нибудь пользовались проверкой аргументов? Скажите честно. Т.е. проверяли, что вам там возвратит сервис, и в зависимости от этого делали некие действия? Alex B.(120 знак., 14.01.2009 12:24)
        
        Во-первых, во всех программах с ucos эта проверка включена. Алексей Мусин(581 знак., 14.01.2009 12:37)
        
        ну и что? Alex B.(861 знак., 14.01.2009 12:50)
        
        Когда начинали, ничего этого не было. JTAG не было (у фуджиков). Алексей Мусин(745 знак., 14.01.2009 13:18)
        
        Каво не было? uc-view? - да он старше меня, и jtag ему не нужен Alex B.(1105 знак., 14.01.2009 13:43)
        
        IEC 62279 (софт для ответств. применений на ж.д.) Алексей Мусин(596 знак., 14.01.2009 14:18)
        
        ответ: Alex B.(197 знак., 14.01.2009 14:37)
        
        Смущает, потому и ищу. Так-то пс-линт 8.00 давно в закромах лежит. - Алексей Мусин(14.01.2009 14:54)
        
        Где тут присваивание? Вижу проверку на нуль. - Ruslan(14.01.2009 12:51)
        
        Это старинный прием. Если вы ошибетесь и напишите вот так Alex B.(190 знак., 14.01.2009 12:55)
        
        Про этот прием я знаю. - Ruslan(14.01.2009 13:00)
        
        ну. Так я и говорю, что за него как раз надо давать по голове - Alex B.(14.01.2009 13:03)
        
        прием то действенный, зачем бить? :) пусть пишут себе на здоровье (0=x). - Ruslan(14.01.2009 13:12)
        
        да любой нормальный компилятор варнинг выдаст Alex B.(168 знак., 14.01.2009 13:42)
        
        Lint посмотрю. - Ruslan(14.01.2009 13:44)
        
        Почти всегда, когда писал на C#. - Ruslan(14.01.2009 12:36)
        
        зачем? приведите пример, плиз - Alex B.(14.01.2009 12:37)
        
        Могу только в общих чертах. Запросы к удаленной SQL базе. - Ruslan(14.01.2009 12:44)
        
        Да с твоей настойчивостью надо было в прокуроры идти! - General(14.01.2009 12:40)
        
        У меня в школе по правоведению двойка в четверти была - Alex B.(14.01.2009 12:52)
        
        Значит, в тираны! - General(14.01.2009 13:06)
        
        Я вот почти всегда, ибо хацкеры-сцуки. - General(14.01.2009 12:27)
        
        речь не о внешних запросах =) Тут конечно надо не "почти всегда" проверять, а всегда. - Alex B.(14.01.2009 12:36)