Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / nus-apr/crashrepair issues and pull requests

#50 - Do not allow asserts to be treated as fix locations

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: repair, analysis

#50 - Do not allow asserts to be treated as fix locations

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: repair, analysis

#49 - run_test.py reports incorrect number of linter errors

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, orchestrator

#49 - run_test.py reports incorrect number of linter errors

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, orchestrator

#48 - Add --output-directory option to analysis to avoid clobbering analysis outputs

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 2 comments
Labels: analysis, blocker

#48 - Add --output-directory option to analysis to avoid clobbering analysis outputs

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 2 comments
Labels: analysis, blocker

#47 - Duplicate/conflicting fix locations are produced by analysis

Issue - State: open - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: bug, analysis

#47 - Duplicate/conflicting fix locations are produced by analysis

Issue - State: open - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: bug, analysis

#46 - Analysis incorrectly produces @result(integer) constraints for boolean expressions

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: bug, analysis

#46 - Analysis incorrectly produces @result(integer) constraints for boolean expressions

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: bug, analysis

#45 - Repair produces a Z3 exception when performing expression synthesis on certain programs

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, repair

#45 - Repair produces a Z3 exception when performing expression synthesis on certain programs

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, repair

#44 - Repair cannot parse constraints that contain negative integers literals

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: bug, repair

#44 - Repair cannot parse constraints that contain negative integers literals

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: bug, repair

#43 - Implement a simple fix localization linting utility

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: enhancement, orchestrator

#43 - Implement a simple fix localization linting utility

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: enhancement, orchestrator

#42 - @result incorrectly appears in top-level constraints (CVE-2017-15232)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 2 comments
Labels: bug, analysis

#42 - @result incorrectly appears in top-level constraints (CVE-2017-15232)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 2 comments
Labels: bug, analysis

#40 - Fix constraint sometimes refers to undefined variables

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, analysis

#40 - Fix constraint sometimes refers to undefined variables

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, analysis

#39 - Analysis doesn't mark top-level statements as fix locations (div-zero/constant-divisor)

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 2 comments
Labels: bug, analysis

#39 - Analysis doesn't mark top-level statements as fix locations (div-zero/constant-divisor)

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 2 comments
Labels: bug, analysis

#38 - Repair cannot parse constraints that contain arithmetic shift operators (<<, >>)

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: bug, repair

#38 - Repair cannot parse constraints that contain arithmetic shift operators (<<, >>)

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: bug, repair

#37 - Incorrect column names for pointers in state values file

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 5 comments
Labels: bug, analysis, blocker

#37 - Incorrect column names for pointers in state values file

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 5 comments
Labels: bug, analysis, blocker

#35 - Repair cannot parse fix constraint that contains an array reference

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: bug, repair

#35 - Repair cannot parse fix constraint that contains an array reference

Issue - State: closed - Opened by ChrisTimperley about 2 years ago
Labels: bug, repair

#34 - Update regression test suite to allow parallel execution

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: enhancement

#34 - Update regression test suite to allow parallel execution

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: enhancement

#33 - Invalid fix constraints produced by analysis

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, analysis

#33 - Invalid fix constraints produced by analysis

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: bug, analysis

#32 - Repair cannot parse constraint that refers to a preincremented variable

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: repair, discussion, has-workaround

#32 - Repair cannot parse constraint that refers to a preincremented variable

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: repair, discussion, has-workaround

#31 - Record duration of different stages inside orchestrator (fuzzing, analysis, generation, validation)

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: enhancement

#31 - Record duration of different stages inside orchestrator (fuzzing, analysis, generation, validation)

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: enhancement

#30 - Finish fuzzer integration

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 12 comments
Labels: orchestrator

#30 - Finish fuzzer integration

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 12 comments
Labels: orchestrator

#29 - Measure and improve the performance of patch validation

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: enhancement, repair

#29 - Measure and improve the performance of patch validation

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 1 comment
Labels: enhancement, repair

#28 - CVE-2013-7437

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 5 comments
Labels: bug, analysis, no-candidates

#28 - CVE-2013-7437

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 5 comments
Labels: bug, analysis, no-candidates

#27 - Repair is unable to load state values (possible misreporting of types by analysis)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 4 comments
Labels: bug, analysis, crash

#27 - Repair is unable to load state values (possible misreporting of types by analysis)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 4 comments
Labels: bug, analysis, crash

#26 - CVE-2017-5975

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 1 comment
Labels: bug, no-candidates

#26 - CVE-2017-5975

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 1 comment
Labels: bug, no-candidates

#25 - Repair module fails to parse constraint (CVE-2017-5976)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 2 comments
Labels: bug, repair, reproduced, no-candidates

#25 - Repair module fails to parse constraint (CVE-2017-5976)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 2 comments
Labels: bug, repair, reproduced, no-candidates

#24 - Regression causes analysis component to fail

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: bug

#24 - Regression causes analysis component to fail

Issue - State: closed - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: bug

#23 - Migrate from Python 3.8 to PyPy3 for performance

Issue - State: open - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: enhancement

#23 - Migrate from Python 3.8 to PyPy3 for performance

Issue - State: open - Opened by ChrisTimperley about 2 years ago - 3 comments
Labels: enhancement

#22 - Assert statement included in fix location and not matched by StmtFinder (CVE-2016-3186)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 5 comments
Labels: bug, repair, reproduced, analysis

#22 - Assert statement included in fix location and not matched by StmtFinder (CVE-2016-3186)

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 5 comments
Labels: bug, repair, reproduced, analysis

#21 - CVE-2018-8806

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 1 comment
Labels: repair, unreproducible

#21 - CVE-2018-8806

Issue - State: closed - Opened by rshariffdeen about 2 years ago - 1 comment
Labels: repair, unreproducible

#20 - Optimize creation of Docker images

Issue - State: closed - Opened by ChrisTimperley over 2 years ago
Labels: high-priority

#20 - Optimize creation of Docker images

Issue - State: closed - Opened by ChrisTimperley over 2 years ago
Labels: high-priority

#19 - Candidate fix locations are ignored by repair module when generating patches (CVE-2018-8964)

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 3 comments
Labels: repair

#19 - Candidate fix locations are ignored by repair module when generating patches (CVE-2018-8964)

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 3 comments
Labels: repair

#18 - Control-flow statements are incorrectly added to loop header statements (e.g., initializer, guard)

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 1 comment
Labels: bug, repair

#18 - Control-flow statements are incorrectly added to loop header statements (e.g., initializer, guard)

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 1 comment
Labels: bug, repair

#17 - Repair Module Crash

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 2 comments
Labels: repair, unreproducible

#17 - Repair Module Crash

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 2 comments
Labels: repair, unreproducible

#16 - Unable to Parse Constraint

Issue - State: closed - Opened by rshariffdeen over 2 years ago

#16 - Unable to Parse Constraint

Issue - State: closed - Opened by rshariffdeen over 2 years ago

#15 - Expression mutation can produce "mutants" that are identical to the original expression

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 6 comments
Labels: bug, repair, reproduced, has-workaround

#15 - Expression mutation can produce "mutants" that are identical to the original expression

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 6 comments
Labels: bug, repair, reproduced, has-workaround

#14 - Functional Test Failures

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 3 comments
Labels: status

#14 - Functional Test Failures

Issue - State: closed - Opened by rshariffdeen over 2 years ago - 3 comments
Labels: status

#13 - Unable to parse Member/Struct variables

Issue - State: closed - Opened by rshariffdeen over 2 years ago

#13 - Unable to parse Member/Struct variables

Issue - State: closed - Opened by rshariffdeen over 2 years ago

#12 - Drop type information from state values file

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 2 comments

#12 - Drop type information from state values file

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 2 comments

#11 - State values CSV omits cells when values are not present

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 2 comments
Labels: bug

#11 - State values CSV omits cells when values are not present

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 2 comments
Labels: bug

#10 - Add --log-to option to orchestrator command line

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 1 comment

#10 - Add --log-to option to orchestrator command line

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 1 comment

#9 - Repair should support values that are larger than an 64-bit integer (long)

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 5 comments
Labels: repair, discussion

#9 - Repair should support values that are larger than an 64-bit integer (long)

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 5 comments
Labels: repair, discussion

#8 - Support INT_MIN, INT_MAX, etc. when loading constraints

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 2 comments
Labels: repair

#8 - Support INT_MIN, INT_MAX, etc. when loading constraints

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 2 comments
Labels: repair

#7 - Post/pre-increment operator is not supported by repair in constraints

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 1 comment
Labels: discussion

#7 - Post/pre-increment operator is not supported by repair in constraints

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 1 comment
Labels: discussion

#6 - Skip fix locations that contain unparseable constraints

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 3 comments
Labels: repair, high-priority

#5 - Opcode mutation appears to not work as intended

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 1 comment
Labels: bug, repair

#4 - Repair: Trailing semi-colons aren't captured in stmt range, leading to compilation errors

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 1 comment
Labels: bug

#3 - Add basic instructions to orchestrator README

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 1 comment
Labels: documentation

#2 - Statevalues

Pull Request - State: closed - Opened by yannicnoller over 2 years ago

#1 - Crash during taint analysis on div-zero-1

Issue - State: closed - Opened by ChrisTimperley over 2 years ago - 3 comments
Labels: bug