runtimeverification/javamop

Issues

• Error opening zip file or JAR manifest missing :JavaMOPAgent.jar

  #245 opened 8 years ago by MichaelMeng666
  14

• (Question) Interference on multiple executions

  #264 opened 3 years ago by rbonifacio
  4

• ho to solve this problem canyou help me plz

  #263 opened 4 years ago by rajeshlingampally
  0

• Online MOP link not working

  #261 opened 4 years ago by Leviathan321
  0

• .rvm files are not generated

  #243 opened 8 years ago by reza-ahmadi
  12

• Add tests and address formatting comments in #257

  #258 opened 5 years ago by owolabileg
  0

• .rvm files and .aj are not generated

  #247 opened 8 years ago by yyzqll
  1

• issue

  #254 opened 5 years ago by JeyhunAli
  1

• Import custom class to .mop file

  #253 opened 6 years ago by wolganens
  0

• RV-Monitor check's String parameters by reference not by value

  #252 opened 7 years ago by iraklitchedia
  0

• JavaMOP not working with tradebeans and tradesoap

  #250 opened 7 years ago by JesperStromblad
  4

• JavaMOP Stack Overflow Error

  #251 opened 7 years ago by chunhuiguo
  0

• Ltl eventually violation is not a supported state in this logic

  #246 opened 8 years ago by yunuskilicdev
  0

• Parameter access issue in ltl violation

  #242 opened 9 years ago by TaylorHarvin
  0

• JavaMOP only compiles with Java 7?

  #240 opened 9 years ago by owolabileg
  1

• Possible flaw of JavaMOP

  #239 opened 9 years ago by emopers
  0

• Usefulness of property *_StaticFactory

  #236 opened 9 years ago by emopers
  4

• Improvement of Iterator_RemoveOnce

  #238 opened 9 years ago by emopers
  0

• Random_OverrideNext property is broken

  #228 opened 9 years ago by emopers
  3

• Enum_NoOrdinal and Enum_UserFriendlyName get violated upon every Enum

  #235 opened 9 years ago by emopers
  1

• Four properties do not report correct violation locations

  #225 opened 9 years ago by emopers
  0

• Improvement of property ByteArrayOutputStream_FlushBeforeRetrieve

  #237 opened 9 years ago by emopers
  0

• Usefulness of property Enumeration_Obsolete

  #234 opened 9 years ago by emopers
  1

• Cannot generate statistics for many properties:

  #232 opened 9 years ago by owolabileg
  1

• Improvement of property Dictionary_Obsolete

  #233 opened 9 years ago by emopers
  0

• Usefulness of property Comparable_CompareToNull

  #229 opened 9 years ago by emopers
  1

• Map_UnsafeIterator property is useless for finding bugs

  #227 opened 9 years ago by emopers
  3

• Suggest to remove property TreeSet_Comparable

  #224 opened 9 years ago by emopers
  1

• Suggest to remove Object_MonintorOwner

  #230 opened 9 years ago by emopers
  0

• Suggest to remove property HttpURLConnection_SetBeforeConnect

  #223 opened 9 years ago by emopers
  1

• Warning: HasNextMonitorAspect.aj:370 [warning] advice defined in mop.HasNextMonitorAspect

  #218 opened 9 years ago by omarjaved83
  4

• issues with javamop script

  #213 opened 10 years ago by esherman77
  4

• Cannot run examples

  #214 opened 10 years ago by omarjaved83
  2

• We can no longer build JavaMOP Agents from our own properties :(

  #207 opened 10 years ago by owolabileg
  8

• javaMOP on Mac

  #212 opened 10 years ago by lgundala
  4

• Problem with enforce

  #188 opened 10 years ago by kheradmand
  34

• JavaMOP4.0 binaries do not contain javamopagent tool

  #206 opened 10 years ago by owolabileg
  1

• Failed to Produce aop-ajc.xml

  #190 opened 10 years ago by pdaian
  0

• Does JavaMOP still accept directory containing .mop files as argument?

  #202 opened 10 years ago by owolabileg
  4

• Refuse MOP file name containing symbols such as hyphen for input .mop file

  #199 opened 10 years ago by ylies
  1

• javamopagent should have a -v option

  #194 opened 10 years ago by owolabileg
  4

• Unit test

  #193 opened 10 years ago by xiaohe27
  7

• Test Javamop agent

  #195 opened 10 years ago by xiaohe27
  1

• Proofread the usage doc of javamopagent

  #192 opened 10 years ago by xiaohe27
  1

• broken URL for Collection_Hashcode property

  #186 opened 10 years ago by owolabileg
  1

• javamop return code is always 0

  #189 opened 10 years ago by kheradmand
  0

• Line number not reported for File_DeleteTempFile property

  #187 opened 10 years ago by owolabileg
  1

• Problem with latest JavaMOP and RV-Monitor 3

  #184 opened 10 years ago by kheradmand
  4

• Line number not reported for StringBuffer_SingleThreadUsage property

  #183 opened 10 years ago by owolabileg
  0

• Some tiny issues in docs/Usage.md

  #180 opened 10 years ago by cansuerdogan
  0