SRI-CSL/OCCAM issues and pull requests

#62 - undefined references to function names for libc specialization

Issue - State: open - Opened by huzaifahnadeem over 3 years ago - 2 comments

#61 - Replace Makefile with cmake

Issue - State: open - Opened by caballa over 3 years ago
Labels: enhancement, help wanted

#60 - Compiling OCCAM on Mac

Issue - State: open - Opened by caballa over 3 years ago

#59 - Incorrect output with specialized binary using configuration priming: objdump, readelf

Issue - State: closed - Opened by mudbri over 3 years ago - 2 comments
Labels: occamized-binary-exec-wrong-output, over-specialization

#58 - Unexpected output with specialized binary: grep

Issue - State: closed - Opened by muhammad-muzammil over 3 years ago - 2 comments

#57 - Add more info to Wiki pages

Issue - State: open - Opened by caballa over 3 years ago
Labels: wiki

#56 - Unexpected output with specialized binary using configuration priming: netperf

Issue - State: closed - Opened by caballa over 3 years ago - 1 comment
Labels: bug, occamized-binary-exec-wrong-output, over-specialization

#55 - Unexpected output with specialized binary using configuration priming: gprof

Issue - State: closed - Opened by caballa over 3 years ago - 2 comments
Labels: occamized-binary-exec-wrong-output, over-specialization

#54 - Over-specialization

Issue - State: open - Opened by caballa over 3 years ago - 1 comment
Labels: limitation

#53 - Minor issue with redirection in the specialized binary (with configuration priming): curl

Issue - State: closed - Opened by mudbri over 3 years ago - 4 comments
Labels: bug, occamized-binary-exec-crash, over-specialization

#52 - Specialized binary results in a runtime segmentation fault with configuration priming: yices

Issue - State: closed - Opened by mudbri over 3 years ago - 3 comments
Labels: bug, occamized-binary-exec-crash, over-specialization

#51 - Specialized binary gives incorrect output with configuration priming: gzip

Issue - State: closed - Opened by mudbri over 3 years ago - 1 comment
Labels: bug

#50 - Specialized binary results in a runtime segmentation fault with configuration priming: netperf

Issue - State: closed - Opened by mudbri over 3 years ago - 2 comments
Labels: bug, occamized-binary-exec-crash, limitation

#49 - Specialized binary does not give any output with configuration priming: airtun

Issue - State: closed - Opened by mudbri over 3 years ago - 1 comment
Labels: bug

#48 - Unexpected output with specialized binary using configuration priming: wget, dnsproxy, sans, totd

Issue - State: closed - Opened by mudbri over 3 years ago - 5 comments
Labels: bug, occamized-binary-exec-wrong-output, over-specialization

#47 - Specialization fails to complete with configuration priming: gprof

Issue - State: closed - Opened by mudbri over 3 years ago - 2 comments
Labels: bug, config-prime-crash

#46 - Specialization fails to complete with configuration priming: memcached

Issue - State: closed - Opened by mudbri over 3 years ago - 3 comments
Labels: bug, duplicate

#45 - Specialization fails to complete with configuration priming: thttpd

Issue - State: closed - Opened by mudbri over 3 years ago - 4 comments
Labels: bug

#44 - Specialization fails to complete with configuration priming: gzip

Issue - State: closed - Opened by mudbri over 3 years ago - 2 comments
Labels: bug, duplicate

#43 - Specialization fails to complete with configuration priming: httping

Issue - State: closed - Opened by mudbri over 3 years ago - 1 comment
Labels: bug

#42 - Segmentation fault in netperf after specialization with OCCAM

Issue - State: closed - Opened by mudbri almost 4 years ago - 2 comments
Labels: bug

#41 - Segmentation fault in objdump and gprof after specialization with OCCAM

Issue - State: closed - Opened by mudbri almost 4 years ago - 8 comments
Labels: bug

#40 - Runtime error in Yices after specialization with OCCAM

Issue - State: closed - Opened by mudbri almost 4 years ago - 4 comments
Labels: bug, occamized-binary-exec-crash

#39 - Configuration Priming removing function when it shouldn't

Issue - State: closed - Opened by mudbri almost 4 years ago - 4 comments

#38 - `razor` pypi package does not work with python3

Issue - State: closed - Opened by pnwamk almost 4 years ago - 2 comments

#37 - Addition of coreutils set for runbench script

Pull Request - State: closed - Opened by shoaibCS over 4 years ago - 1 comment

#36 - Add Trimmer examples

Pull Request - State: closed - Opened by shoaibCS over 4 years ago - 2 comments

#35 - trimmer.set for runbench

Pull Request - State: closed - Opened by shoaibCS over 4 years ago - 3 comments

#34 - aircrack-ng issue

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

#33 - objdump issue

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

#32 - gzip issue

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

#31 - Inconsistent behavior

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

#30 - Support for removing functions specified by the user

Pull Request - State: closed - Opened by shoaibCS over 4 years ago - 4 comments

#29 - Adding support for OCCAMIZE libraries

Pull Request - State: closed - Opened by RafaeNoor over 4 years ago - 7 comments

#28 - slash Command not found

Issue - State: closed - Opened by Mohannadcse almost 5 years ago - 10 comments

#27 - Error which running an example in the docker

Issue - State: closed - Opened by Mohannadcse almost 5 years ago - 2 comments

#26 - Remove llvm-dsa

Issue - State: closed - Opened by caballa over 5 years ago - 1 comment

#25 - Add more benchmarks

Issue - State: closed - Opened by caballa over 5 years ago - 1 comment

#24 - Add manifest for tecla and tor

Issue - State: closed - Opened by caballa over 5 years ago - 1 comment

#23 - Add a flag to always inline a specialized functions

Issue - State: closed - Opened by caballa over 5 years ago - 1 comment

#22 - `examples/portfolio/apache` linking error on Mac

Issue - State: closed - Opened by caballa over 5 years ago - 3 comments

#21 - curl inspired python tweaks can't be tested because the C++ crashes.

Issue - State: closed - Opened by ianamason almost 6 years ago - 1 comment
Labels: bug

#20 - Kernel specialization bug fixes

Pull Request - State: closed - Opened by MuhammadAbuBakar95 about 6 years ago

#19 - Kernel specialization vagrant scripts

Pull Request - State: closed - Opened by MuhammadAbuBakar95 about 6 years ago

#18 - Add tests for new experimental options

Issue - State: closed - Opened by caballa over 6 years ago - 2 comments
Labels: enhancement

#17 - kernel specialization

Pull Request - State: closed - Opened by MuhammadAbuBakar95 over 6 years ago - 8 comments

#16 - No specialization of internal functions?

Issue - State: closed - Opened by caballa over 6 years ago - 2 comments
Labels: enhancement, question

#15 - slash needs a --debug flag

Issue - State: closed - Opened by ianamason over 6 years ago - 1 comment

#14 - issue in using occam

Issue - State: closed - Opened by aatiranum almost 7 years ago - 1 comment

#13 - LLVM 5.0 is now the master branch

Issue - State: closed - Opened by ianamason over 7 years ago - 1 comment

#12 - Possible linking error when duplicate function names

Issue - State: closed - Opened by caballa almost 8 years ago - 1 comment
Labels: bug

#11 - Argument specialization. Not sure this makes sense though.

Issue - State: closed - Opened by ianamason about 8 years ago
Labels: enhancement

#10 - Adding instrumentation

Issue - State: closed - Opened by ianamason about 8 years ago - 1 comment
Labels: enhancement

#9 - Makefile improvements

Issue - State: closed - Opened by ianamason about 9 years ago

#8 - OCCAM/test/funcs

Issue - State: closed - Opened by ianamason about 9 years ago

#7 - occam on vagrant with yices

Issue - State: closed - Opened by ianamason about 9 years ago - 1 comment

#6 - occam on shaman crashes

Issue - State: closed - Opened by ianamason about 9 years ago - 1 comment

#5 - Are the protobuffers still actually used.

Issue - State: closed - Opened by ianamason about 9 years ago - 1 comment

#4 - OCCAM_SRC

Issue - State: closed - Opened by ianamason about 9 years ago - 2 comments

#3 - Coverity support

Issue - State: closed - Opened by ianamason about 9 years ago - 3 comments
Labels: enhancement

#2 - Travis support, at least for ubuntu.

Issue - State: closed - Opened by ianamason about 9 years ago - 4 comments
Labels: enhancement

#1 - OCCAM on darwin

Issue - State: closed - Opened by ianamason about 9 years ago - 14 comments
Labels: enhancement

GitHub / SRI-CSL/OCCAM issues and pull requests