Описание тега soot
Soot - это среда оптимизации Java с открытым исходным кодом.
2
ответа
Как получить подкласс класса по саже？
Я могу получить суперкласс класса SootClass.getSuperclass(), но я не знаю, как получить его подкласс. Нужно ли сначала загружать подкласс? Здесь нет getSubclass() функция. Спасибо!
03 мар '17 в 04:26
1
ответ
FlowDroid на основе сажи с ошибкой исключения при тестировании APK
Я пытаюсь протестировать компонент приемника вещания в приложении для Android на основе анализа заражения. Тем не менее, когда я использую frowdroid для тестирования соответствующего приложения, он показывает: Exception in thread "main" java.lang.No…
21 сен '15 в 20:19
1
ответ
Комбинированный прямой и обратный анализ в саже
Я хочу выполнить анализ потока данных в саже. Но природа моего анализа заключается в том, что он будет выполнять одну итерацию анализа Forward, а затем одну итерацию анализа Backward с использованием значений потока данных, вычисленных в анализе For…
05 июл '16 в 11:50
0
ответов
Soot: Исключение в потоке "main" java.lang.RuntimeException: Не удалось загрузить файл класса: java.io.ObjectInputStream
Когда я запустил эту команду: java -cp soot-2.5.0.jar soot.Main -pp -f J -cp . Hello чтобы создать файл jimple, я получил следующие ошибки: Soot started on Fri Nov 30 16:58:54 CST 2018 Unknown tag in constant pool: 16 at entry 1060 Exception in thre…
30 ноя '18 в 09:08
1
ответ
Инструментарий Android-приложения с помощью Soot: Phantom классы Android
У меня возникли проблемы с инструментарием приложения для Android с помощью Soot. В частности, я не могу загрузить класс android.util.Log. Я подозреваю, что файл JAR Android не загружается должным образом. У меня последняя версия Soot для ночных сбо…
28 янв '16 в 03:51
1
ответ
Как я могу узнать, что переменные, определенные в методах файла jimple, соответствуют каким переменным в файле класса java?
Soot преобразует файл класса java в файл jimple с переименованными локальными переменными. Теперь я хочу знать схему, на основе которой Саута делает это.
04 авг '12 в 06:53
1
ответ
Ошибка regCount при установке apk с сажей
Я использую apk-файл, используя Soot. Когда я добавляю следующий оператор перед запуском команды soot.Main (даже не создавая моего тела преобразователя), я получаю ошибку regCount. (Одна и та же ошибка появляется в разных методах для разных apk-файл…
18 июн '14 в 21:36
2
ответа
Как оценить значение переменной с помощью статического анализа?
Я хочу написать программу для этого, основанную на встроенном анализе Reot-Definition от Soot. Теперь мне интересно, это правильный подход? Я искал и обнаружил, что никто не заинтересован в этом направлении. Какие-либо предложения?
08 апр '14 в 07:37
1
ответ
Как получить конец улова блока с сажей?
Я пытаюсь сделать анализ Java-байт-кода для попробовать / поймать с сажей. Я могу получить операторы в блоке try и первый оператор в блоке catch, но не могу знать, где заканчивается блок catch. Как я могу получить конечное утверждение?
05 июл '18 в 07:46
1
ответ
Анализ сажи для доступа к полям члена
Я хотел бы знать, может ли сажа анализировать доступ к полю члена? Например, если A получил доступ к полям члена B, может ли сажа обнаружить это? И определите имя класса для тех членов, к которым обращались в Б.
28 янв '15 в 15:50
1
ответ
Используя FlowDroid программно с платформой Soot?
Я работаю над Java-проектом, целью которого является выполнение техники нарезки вперед с использованием фреймворка Soot. Общая картина моего проекта - преобразовать некоторые файлы байт-кода в форму Jipmle, а затем соответствующим образом выполнить …
09 окт '18 в 17:23
2
ответа
Компиляция AOT или компиляция нативного кода Scala?
Моему scala-приложению нужно выполнять простые операции над большими массивами целых и двойных чисел, а производительность является узким местом. Я изо всех сил пытался понять, когда наступают определенные оптимизации (например, анализ побега), хотя…
15 июн '11 в 16:08
1
ответ
Сажи получают методическими органами основных классов
Я написал небольшое обнаружение побочных эффектов для Java с использованием сажи. это дает мне ожидаемый результат для функций, которые я написал самостоятельно. Но для базовых классов (java.lang., Java.awt.) Это не работает. Я хочу проанализировать…
01 ноя '17 в 17:08
2
ответа
Плюсы / минусы статического и динамического приборостроения
Существует много статических и динамических инструментов. Soot - это инструмент статического инструментария для байт-кода Java. Pin и Valgrind являются динамическими инструментальными средствами для двоичных файлов. Каковы плюсы и минусы статических…
10 янв '10 в 21:09
1
ответ
Сажа - Как запретить loadClassAndSupport создать пустой SootClass?
Используя сажу (v.2.5.0), я пытаюсь загрузить определенный класс: SootClass clazz = Scene.v().loadClassAndSupport("example.MyClass"); Перед звонком Scene#loadClassAndSupport класс example.MyClass не в сцене - что правильно.Класс также не существует …
13 июн '13 в 08:13
1
ответ
Смещения байт-кода и смещения стека в саже
Для проекта, над которым я сейчас работаю, нам нужно иметь возможность точно отобразить адреса байт-кода для инструкций, соответствующих местоположениям в Shimple, а также смещения стека и ссылки на поля объектов для идентификаторов в Shimple. Распо…
03 окт '17 в 02:26
0
ответов
Использование сажи и тамифлекса для отражающих звонков в JAVA
Я пытаюсь увидеть результаты Call Graph VTA на Java-программах, имеющих классы отражения. Для этого я использовал Tamiflex для разрешения всех отражающих вызовов в Java-программе. Выходные файлы классов, которые затем используются в качестве аргумен…
15 фев '17 в 07:03
2
ответа
Сажа: в сцене нет позывного! Не удалось применить JB
Используя Сажу, я пытаюсь построить граф вызовов. Насколько мне известно, проблема заключалась в том, что при работе с API нет основных методов, которые можно было бы использовать в качестве точек входа. Я проверяю более тщательно, что сажа загружал…
21 ноя '17 в 16:00
1
ответ
Не удалось загрузить ошибку java.lang.CharSequence
Я попытался запустить эту команду, используя Java версии 8 на Windows. java -cp soot.jar soot.Main -cp ".;C:\Program Files\Java\jre1.8.0_151\lib\rt.jar" Example_4 Я продолжаю получать: Исключение в потоке "main" java.lang.Error: Ошибка: Не удалось з…
15 фев '18 в 18:24
1
ответ
Недопустимый элемент 'jasmin' и герои в списке зависимостей для копоти
Я хочу создать сажу с помощью intellj, поэтому я следую инструкции " Создание сажи с IntelliJ IDEA" в github. после выполнения шага 5 я должен решить проблему зависимости от жасмина и героев, но у меня есть это условие в диалоговом окне и я вижу на …
17 фев '16 в 09:22