Yun Lin

icon indicating a website link http://www.linyun.info icon indicating an email [email protected]

icon company Shanghai Jiao Tong University icon location Shanghai icon location linyun.info

Results 17 comments of Yun Lin

Static Analysis for Smart Seed

@Cheng-017 1. how many method effect can be replicable? 2. if replicable, which branch manifests the difference? and which event is the most important?

[Instrumentation] Agent: ExecutionTracer error: null.

hi @lylytran Please kindly check the following cmd, which causes the exception: ``` E:\linyun\bug_repo\jdk1.7.0_800\bin\java -Xmx30g -ea -noverify -javaagent:E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\instrumentator.jar=precheck=false,excludes=java.util.Properties*,java_home=E:\linyun\bug_repo\jdk1.7.0_800,stepLimit=100000,log=printProgress;info,working_dir=E:\linyun\bug_repo\Lang\62\bug,varLayer=1,includes=java.lang.AbstractStringBuilder;java.lang.StringBuffer;java.lang.String;java.lang.Number;java.lang.Integer,launch_class=org.apache.commons.lang.EntitiesTest,class_path=E:\linyun\bug_repo\Lang\62\bug\target\tests;E:\linyun\bug_repo\Lang\62\bug\target\classes;E:\linyun\bug_repo\Lang\lib\cglib-nodep-2.2.2.jar;E:\linyun\bug_repo\Lang\lib\commons-io-2.4.jar;E:\linyun\bug_repo\Lang\lib\easymock-3.1.jar;E:\linyun\bug_repo\Lang\lib\objenesis-1.2.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\junit.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\org.hamcrest.core.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\testrunner.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\bcel-6.0.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\javassist.jar,dump_file_path=E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\trace\Lang\62\bug.exec,expectedSteps=11889 -cp E:\linyun\bug_repo\Lang\62\bug\target\tests;E:\linyun\bug_repo\Lang\62\bug\target\classes;E:\linyun\bug_repo\Lang\lib\cglib-nodep-2.2.2.jar;E:\linyun\bug_repo\Lang\lib\commons-io-2.4.jar;E:\linyun\bug_repo\Lang\lib\easymock-3.1.jar;E:\linyun\bug_repo\Lang\lib\objenesis-1.2.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\junit.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\org.hamcrest.core.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\testrunner.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\bcel-6.0.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\javassist.jar microbat.evaluation.junit.MicroBatTestRunner org.apache.commons.lang.EntitiesTest testNumberOverflow ```

[Instrumentation] Agent: ExecutionTracer error: null.

The ClassLoaderInstrumentator has some bug, please kindly have a check.

[Instrumentation] Mockito-6: Different Behavior with and without Instrumentation

hi @lylytran can you have a check at this problem?

Final demo code + readme

hi @benlimpa your examples are very appreciated. please let us know if there is any inconvenience to run the experiments or examples.

Concretize the Interface in the Construction Path

**Comment by [Cary-Xx](https://github.com/Cary-Xx)** _Sunday Mar 08, 2020 at 07:52 GMT_ ---- When recursively analyzing the method invocation, it is likely that we track to interface or abstract class at some...

Concretize the Interface in the Construction Path

**Comment by [Cary-Xx](https://github.com/Cary-Xx)** _Sunday Mar 08, 2020 at 07:53 GMT_ ---- The example is adopted from **corina.map.PngEncoderB#pngEncode(Z)[B** where the clazz here refers to j**ava.awt.image.SampleModel**

Concretize the Interface in the Construction Path

**Comment by [Cary-Xx](https://github.com/Cary-Xx)** _Sunday Mar 08, 2020 at 08:00 GMT_ ---- Regression test is located at **regression.issues.testcase.TestIssue138.java**

Computation Graph - not checking primitive parameters

primitive is no modeled as it is trivial.

[Agent Crash] Mockito-28

The same case happens for Time-3 cmd: ``` E:\linyun\bug_repo\jdk1.7.0_800\bin\java -Xmx30g -XX:+UseG1GC -ea -noverify -javaagent:E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\instrumentator.jar=precheck=false,excludes=java.util.Properties*,java_home=E:\linyun\bug_repo\jdk1.7.0_800,log=printProgress;error,working_dir=E:\linyun\bug_repo\Time\3\bug,varLayer=1,includes=org.joda.time.format.DateTimeFormatter;org.joda.time.base.BaseDateTime;org.joda.time.base.AbstractDateTime;org.joda.time.base.AbstractInstant;org.joda.time.MutableDateTime;org.joda.time.Chronology;org.joda.time.DurationField;org.joda.time.field.BaseDurationField;org.joda.time.chrono.ZonedChronology$ZonedDurationField;org.joda.time.DateTimeZone;org.joda.time.tz.CachedDateTimeZone;org.joda.time.tz.CachedDateTimeZone$Info;org.joda.time.tz.DateTimeZoneBuilder$PrecalculatedZone;org.joda.time.tz.DateTimeZoneBuilder$DSTZone;org.joda.time.tz.DateTimeZoneBuilder$Recurrence;org.joda.time.tz.DateTimeZoneBuilder$OfYear;org.joda.time.DateTimeField;org.joda.time.field.BaseDateTimeField;org.joda.time.field.PreciseDurationField;org.joda.time.field.PreciseDurationDateTimeField;org.joda.time.chrono.BaseChronology;org.joda.time.chrono.AssembledChronology;org.joda.time.chrono.GJDayOfWeekDateTimeField;org.joda.time.chrono.BasicChronology;org.joda.time.field.ImpreciseDateTimeField;org.joda.time.chrono.BasicMonthOfYearDateTimeField;org.joda.time.chrono.BasicGJChronology;org.joda.time.chrono.BasicChronology$YearInfo;org.joda.time.chrono.BasicDayOfMonthDateTimeField;org.joda.time.field.PreciseDateTimeField;org.joda.time.chrono.ISOChronology;java.util.Arrays;org.joda.time.field.ImpreciseDateTimeField$LinkedDurationField;junit.framework.TestCase;junit.framework.Assert;org.joda.time.TestMutableDateTime_Adds;java.lang.AbstractStringBuilder;java.lang.StringBuffer;org.joda.time.ReadableInstant;org.joda.time.format.DateTimePrinter;java.util.Locale;org.joda.time.format.DateTimeFormatterBuilder$TimeZoneOffset;org.joda.time.format.DateTimeFormatterBuilder$Fraction;org.joda.time.DateTimeFieldType;org.joda.time.DateTimeFieldType$StandardDateTimeFieldType;org.joda.time.format.DateTimeFormatterBuilder$CharacterLiteral;org.joda.time.format.DateTimeFormatterBuilder$NumberFormatter;org.joda.time.format.DateTimeFormatterBuilder$PaddedNumber;org.joda.time.chrono.BasicYearDateTimeField;org.joda.time.format.DateTimeFormatterBuilder$Composite;org.joda.time.chrono.ZonedChronology;java.lang.RuntimeException;java.lang.Exception;java.lang.Throwable;java.lang.UnsupportedOperationException;java.lang.ArithmeticException;org.joda.time.tz.Provider;org.joda.time.tz.ZoneInfoProvider;java.lang.StringBuilder;java.lang.IllegalArgumentException;java.lang.System;java.util.Map;java.util.Properties;java.util.LinkedHashMap;java.util.Collections$EmptyMap;java.util.HashMap;java.util.WeakHashMap;java.util.jar.Attributes;java.util.Hashtable;java.util.AbstractMap;java.lang.ClassValue$ClassValueMap;java.util.TreeMap;java.util.NavigableMap;java.util.SortedMap;java.util.Collections$UnmodifiableMap;org.joda.time.chrono.GregorianChronology;org.joda.time.chrono.AssembledChronology$Fields;org.joda.time.field.UnsupportedDateTimeField;org.joda.time.DurationFieldType;org.joda.time.field.UnsupportedDurationField;java.util.HashMap$Entry;org.joda.time.DurationFieldType$StandardDurationFieldType;org.joda.time.chrono.ZonedChronology$ZonedDateTimeField;org.joda.time.field.DecoratedDateTimeField;org.joda.time.field.ZeroIsMaxDateTimeField;org.joda.time.field.MillisDurationField;org.joda.time.field.DecoratedDurationField;org.joda.time.field.ScaledDurationField;org.joda.time.field.RemainderDateTimeField;org.joda.time.chrono.BasicWeekyearDateTimeField;org.joda.time.chrono.BasicWeekOfWeekyearDateTimeField;org.joda.time.chrono.BasicDayOfYearDateTimeField;org.joda.time.field.DividedDateTimeField;org.joda.time.chrono.GJYearOfEraDateTimeField;java.io.InputStream;java.lang.ref.Reference;java.lang.ref.SoftReference;java.io.FilterInputStream;java.io.DataInputStream;java.io.DataInput;org.joda.time.tz.DateTimeZoneBuilder;java.io.IOException;java.lang.ClassLoader;java.net.URL;java.io.File,expectedSteps=46502,stepLimit=1000000,require_method_split=false,launch_class=org.joda.time.TestMutableDateTime_Adds,class_path=E:\linyun\bug_repo\Time\3\bug\target\test-classes;E:\linyun\bug_repo\Time\3\bug\target\classes;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\junit.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\org.hamcrest.core.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\testrunner.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\bcel-6.0.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\javassist.jar,dump_file_path=E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\trace\Time\3\bug.exec,avoid_proxy_tostring=true -cp E:\linyun\bug_repo\Time\3\bug\target\test-classes;E:\linyun\bug_repo\Time\3\bug\target\classes;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\junit.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\org.hamcrest.core.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\testrunner.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\bcel-6.0.jar;E:\linyun\software\eclipse-java-mars\eclipse-java-mars-clean\eclipse\dropins\junit_lib\javassist.jar microbat.evaluation.junit.MicroBatTestRunner org.joda.time.TestMutableDateTime_Adds testAddYears_int_dstOverlapWinter_addZero ```