MagpieBridge / MagpieBridge

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
Eclipse Public License 2.0
79 stars 26 forks source link

soot throws type mismatch in assignment for Autoboxing #22

Closed linghuiluo closed 4 years ago

linghuiluo commented 5 years ago

When converting an int to an Integer

Integer i = 1;

soot throws Exception in soot.jimple.spark.builderMethodNodeFactory. The reason for this is the type of the left op got from the wala front end is a ref type Integer, but the type of the right op is a primitive type int.

linghuiluo commented 4 years ago

@all-contributors please add @linghuiluo for Code

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @linghuiluo! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @juliandolby for Code and Design

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @juliandolby! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @cbruegg for Code

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @cbruegg! :tada:

linghuiluo commented 4 years ago

@linghuiluo please add @swissiety for Code

linghuiluo commented 4 years ago

@all-contributors please add @jonasmanuel for Code

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @jonasmanuel! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @jcp for Bug reports

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @jcp! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @swissiety for Tests

allcontributors[bot] commented 4 years ago

@linghuiluo

This project's configuration file has malformed JSON: .all-contributorsrc. Error:: Unexpected string in JSON at position 334

linghuiluo commented 4 years ago

@all-contributors please add @swissiety for Code

allcontributors[bot] commented 4 years ago

@linghuiluo

This project's configuration file has malformed JSON: .all-contributorsrc. Error:: Unexpected string in JSON at position 334

linghuiluo commented 4 years ago

@all-contributors please add @jcp for Bug reports

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @jcp! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @swissiety for Tests

allcontributors[bot] commented 4 years ago

@linghuiluo

This project's configuration file has malformed JSON: .all-contributorsrc. Error:: Unexpected token } in JSON at position 362

linghuiluo commented 4 years ago

@all-contributors please add @jcp19 for Bug reports

allcontributors[bot] commented 4 years ago

@linghuiluo

This project's configuration file has malformed JSON: .all-contributorsrc. Error:: Unexpected token } in JSON at position 362

linghuiluo commented 4 years ago

please add @swissiety for Tests

linghuiluo commented 4 years ago

@all-contributors please add @swissiety for Tests

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @swissiety! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @jcp19 for Bug reports

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @jcp19! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @SvenEV for Bug reports

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @SvenEV! :tada:

linghuiluo commented 4 years ago

@all-contributors please add @linghuiluo for Documentation @all-contributors please add @jonasmanuel for Documentation

allcontributors[bot] commented 4 years ago

@linghuiluo

I could not determine your intention.

Basic usage: @all-contributors please add @someone for code, doc and infra

For other usages see the documentation

linghuiluo commented 4 years ago

@all-contributors please add @linghuiluo for Documentation

allcontributors[bot] commented 4 years ago

@linghuiluo

I've put up a pull request to add @linghuiluo! :tada: