Skip to content
Block or report user

Report or block junxzm1990

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

3 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity

February - March 2019

junxzm1990 has no activity yet for this period.

January 2019

Created an issue in klee/klee that received 11 comments

Exceptions not handled

klee/lib/Core/Memory.cpp Line 149 in 4432580 This "new ref[size]" may raise an exception due to large "size". The code does not capture …


Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.