Ещё интересный момент. Не знаю, как сейчас, но раньше (речь о московском метро) световой индикатор с обратной ко входу стороны турникета (речь о новых моделях) загорался разным цветом, в зависимости от типа карты, т.к. билет, помимо тройки, мог быть записан на всякие социальные и прочие пенсионные. Именно по этой причине контроллёры обычно дежурят за турникетами - не столько чтобы пристраивающихся за пассажирами кабанов отлавливать, сколько хватать за шкирку оболтусов, решивших за бабушку в метро покататься.

и можно ли копирнуть ее с сумки, как с бесконтактными платежами?

очевидно, можно)

Это я к чему - даже если ломануть защиту и записать на болванку 100500 поездок, но случайно окажется, что на болванке тип карты - "социальная карта москвича для пенсионеров" (или как там она правильно зовётся), можно всё равно спалиться.

ии моя карта сломалась

ии моя карта сломалась

грац

у меня в руках, если вдруг с ментами привяжутся.

очевидно, можно)

Наивный ламеръ

обоснуй

Ну давай, считай мне с сумки тройку

Ты nfc вообще представляешь или статейки на хабре читал?

но... дистанционное считывание... трансформатор с воздушным сердечником.. сколько мощи зарядил на таком расстоянии и считалось..

но... дистанционное считывание... трансформатор с воздушным сердечником.. сколько мощи зарядил на таком расстоянии и считалось..

И хуй вам от советской власти! (с)

Модуляция, потребление, тайминги, коллизии

окей

допустим у меня есть 10 друзей, которые могут предоставить свои карты для копирования

За чужую социаль штраф 2.5к вроде

Если есть лишнее бабло проще отдай его мне на пиво

не социалка. абонемент ржд

правил пользования абонементом я не нагуглил, значит нарушить их нельзя.

Есть вопрос по решателю z3.кому можно написать?

ЗЫ: нубский вопрос. Нужно взять найденное значение и перевести в хекс

python

hex(1337)

Ну эт руками:)хочу автоматом чтоб все сразу,а не по одному

что значит все сразу?

Solver.model() возвращает такое

Тип instance

че лень 6 value ручками похексить? ну вы даете

ну и ваще мне интересно как значения выбирать в таком случае

сохранил в файлик, считал питоном и разобрал

ну и ваще мне интересно как значения выбирать в таком случае

Навскидку, если правильно понял задачу: $ cat picoctf.log | sed -n 's/.*\(\ [0-9]\+\).*/\1/p' | sed 's,^,obase=16;,' | bc

ну и ваще мне интересно как значения выбирать в таком случае

В питоне это, полагаю, будет что-то вида: for t in Solver.model() hex(t)

Если так делать

В питоне это, полагаю, будет что-то вида: for t in Solver.model() hex(t)

Читайте ебучую документацию

hex(model[0].as_long())

Читайте ебучую документацию

?

Соответственно будет как-то так: for x in Solver.model(): print(hex(x.as_long()))

Та что на гитхабе не помогла,и ваш способ тоже,те as_long

Та что на гитхабе не помогла,и ваш способ тоже,те as_long

Какие типы данных ты пихаешь в солвер и что он возвращает? Покажи текст программы целиком (только не фоткой монитора)

Блин, ребят, серьезно, перевести чиселки в хекс?

Это не чиселки

Это какой-то из типов данных z3 для работы с целыми числами

Соответственно к нативным питоньим типам данных отношения оно не имеет

Ок, это несколько меняет дело

Но поскольку кадр не привёл текст программы -- то остаётся только догадываться какие именно инстансы в модели вернул ему солвер

Ну они в любом случае наверное ж конвертятся хотя бы в строку, откуда их можно уже в питонячие чиселки перевести

У самого инстанса для этого нормальные методы есть, парсить строку это наркоманство

Я просто не знаю как оно там и предполагаю самый худший (и самый тупой, конечно) вариант :)

Ну для бит-векторов там есть метод as_long, для каких-то других типов z3 -- какие-то другие, вероятно

Который, тем не менее, будет работать, особенно если тебе настолько не кайф покурить докуху (или хотя бы dir() вызвать, посмотреть, чо там у типа внутри)

Ptpb.pw/Eu4a код проги

Курил смотрел

И дир и доку

Битвектор да,но нету

Ну распарсь строку))

Распарсить на самый край оставлю

Битвектор да,но нету

Значит итерируй модель и вызывай метод as_long() для каждого бит-вектора из модели

Какую-то мою приблуду на z3 можешь посмотреть в качестве примера

»> m = s.model() »> for decl in m.decls(): ... print(hex(m[decl].numerator().as_long()))

https://github.com/Cr4sh/openreil/blob/master/tests/test_kao.py -- эту например

ERROR: S client not available

»> m = s.model() »> for decl in m.decls(): ... print(hex(m[decl].numerator().as_long()))

Только без numerator().

Спасибо

Да, numerator нужен, если решение выражено в рациональных числах, тут он лишний.

Ребята из PT линух починили

Ребята из PT линух починили

Ага, крутец

Эксплойт бы еще в паблик

Раз починили

И платный патч

Ибо это бизнес

Платный патч на ядро?

Он уже в паблике же

Я знаю -_- приеду домой и обновлю ноут первым делом

А не уже стоит, раз 7-го марта вышел

Я бы проверил у себя, но эксплойта-то нет

Ну, демку эксплоита PT написали

о, а где глянуть?

нигде не увидел

А кто его тебе покажет? Его в кернел орг послали и будя

А кто его тебе покажет? Его в кернел орг послали и будя

Вот нафига это все)

Вот нафига это все)

Что именно?

Что именно?

Найти и залатать)

Найти и залатать)

А как надо?)

А как надо?)

Найти поюзать продать и тутже залатать

Думаю кому надо они предоставили такие возможности ;)

Они же Гендальфы

Они же Гендальфы

Жаль не смегулы)

Ну, Гендальф тип белый, а смеугл тип черный али как?

Гендальф еще серым был

ну это так)

Много ли безопасников, белых от рождения?

само слово безопасник говорит что вы белый