SRI-CSL/OCCAM

Issues

• undefined references to function names for libc specialization

  #62 opened 3 years ago by huzaifahnadeem
  2

• Unexpected output with specialized binary using configuration priming: gprof

  #55 opened 3 years ago by caballa
  2

• Incorrect output with specialized binary using configuration priming: objdump, readelf

  #59 opened 3 years ago by mudbri
  2

• Minor issue with redirection in the specialized binary (with configuration priming): curl

  #53 opened 3 years ago by mudbri
  4

• Replace Makefile with cmake

  #61 opened 3 years ago by caballa
  0

• Compiling OCCAM on Mac

  #60 opened 3 years ago by caballa
  0

• Unexpected output with specialized binary using configuration priming: wget, dnsproxy, sans, totd

  #48 opened 3 years ago by mudbri
  5

• Unexpected output with specialized binary: grep

  #58 opened 3 years ago by muhammad-muzammil
  2

• Specialized binary results in a runtime segmentation fault with configuration priming: yices

  #52 opened 3 years ago by mudbri
  3

• Unexpected output with specialized binary using configuration priming: netperf

  #56 opened 3 years ago by caballa
  1

• Add more info to Wiki pages

  #57 opened 3 years ago by caballa
  0

• Specialized binary results in a runtime segmentation fault with configuration priming: netperf

  #50 opened 3 years ago by mudbri
  2

• Over-specialization

  #54 opened 3 years ago by caballa
  1

• Specialization fails to complete with configuration priming: gprof

  #47 opened 3 years ago by mudbri
  2

• Runtime error in Yices after specialization with OCCAM

  #40 opened 3 years ago by mudbri
  4

• Specialized binary gives incorrect output with configuration priming: gzip

  #51 opened 3 years ago by mudbri
  1

• Specialized binary does not give any output with configuration priming: airtun

  #49 opened 3 years ago by mudbri
  1

• Specialization fails to complete with configuration priming: memcached

  #46 opened 3 years ago by mudbri
  3

• Specialization fails to complete with configuration priming: thttpd

  #45 opened 3 years ago by mudbri
  4

• Specialization fails to complete with configuration priming: gzip

  #44 opened 3 years ago by mudbri
  2

• Specialization fails to complete with configuration priming: httping

  #43 opened 3 years ago by mudbri
  1

• Segmentation fault in objdump and gprof after specialization with OCCAM

  #41 opened 4 years ago by mudbri
  8

• Segmentation fault in netperf after specialization with OCCAM

  #42 opened 4 years ago by mudbri
  2

• Configuration Priming removing function when it shouldn't

  #39 opened 4 years ago by mudbri
  4

• `razor` pypi package does not work with python3

  #38 opened 4 years ago by pnwamk
  2

• Inconsistent behavior

  #31 opened 4 years ago by shoaibCS
  2

• Add tests for new experimental options

  #18 opened 4 years ago by caballa
  2

• Add manifest for tecla and tor

  #24 opened 4 years ago by caballa
  1

• gzip issue

  #32 opened 4 years ago by shoaibCS
  2

• objdump issue

  #33 opened 4 years ago by shoaibCS
  2

• aircrack-ng issue

  #34 opened 4 years ago by shoaibCS
  2

• Add more benchmarks

  #25 opened 5 years ago by caballa
  1

• Remove llvm-dsa

  #26 opened 5 years ago by caballa
  1

• slash Command not found

  #28 opened 5 years ago by Mohannadcse
  10

• Error which running an example in the docker

  #27 opened 5 years ago by Mohannadcse
  2

• Add a flag to always inline a specialized functions

  #23 opened 5 years ago by caballa
  1

• `examples/portfolio/apache` linking error on Mac

  #22 opened 5 years ago by caballa
  3

• curl inspired python tweaks can't be tested because the C++ crashes.

  #21 opened 6 years ago by ianamason
  1

• Adding instrumentation

  #10 opened 6 years ago by ianamason
  1

• Argument specialization. Not sure this makes sense though.

  #11 opened 6 years ago by ianamason
  0

• LLVM 5.0 is now the master branch

  #13 opened 6 years ago by ianamason
  1

• No specialization of internal functions?

  #16 opened 6 years ago by caballa
  2

• slash needs a --debug flag

  #15 opened 6 years ago by ianamason
  1

• issue in using occam

  #14 opened 7 years ago by aatiranum
  1

• Possible linking error when duplicate function names

  #12 opened 7 years ago by caballa
  1

• Are the protobuffers still actually used.

  #5 opened 8 years ago by ianamason
  1

• OCCAM/test/funcs

  #8 opened 8 years ago by ianamason
  0

• Makefile improvements

  #9 opened 8 years ago by ianamason
  0

• occam on vagrant with yices

  #7 opened 9 years ago by ianamason
  1

• occam on shaman crashes

  #6 opened 9 years ago by ianamason
  1