Bandera is a research project that is currently being developed by faculty, staff, and students in the SAnToS Lab at Kansas State University. Because of this, support is not our number one priority. Therefore, we are attempting to create a process that allows Bandera users to get the support they need without placing a great deal of burden on our research staff.
When you encounter a problem with Bandera that you cannot solve, you should follow these steps. First, consult the documentation provided with Bandera. This includes the readme files and the tutorial. Depending on the type of problem, you may want to consult some of the published papers or presentations. If you cannot find a solution to your problem in one of those sources, you should next try to find a similar application in our examples repository to see if you see the differences. After exhausting those sources of information, you should next try searching the Help forum for problems/solutions that match your issue. If there is no posting in the Help forum that matches your problem, you should post a question in the Help forum. Once you have posted the question there, other users of Bandera can assist you in solving the problem. If no other user can help you, you might get assistance from a Bandera developer. We try to lurk on the list to provide assistance when we have time.
If you post a question or comment in the Help or Open Discussion forums and a Bandera developer deems it appropriate, that developer can move it into one of the trackers. If it is a problem with the code of Bandera, it will probably be placed into the Bug tracker. If it is something that might be missing from Bandera, it will probably be place into the Feature Request tracker. If it is a posting that includes code that will be integrated into Bandera, it will probably be placed into the Patches tracker.
When posting to a forum, you may do so anonymously but we prefer that you login first. You should try to place as much relevant information into the post as possible. For example, if you are submitting a bug to the Help forum, you should try to describe what you were doing when you ran into the problem, what you expected, the application code that you were running (java source files), the Bandera session file, and any logging that is generated. This will allow us to troubleshoot the problem much more efficiently. Another example is if you are submitting a feature request to the Open Discussion forum you should try to include as much detail about the new feature as possible. This will allow us to evaluate it and implement it as quick as possible.