srccheck's tags

abstract_interpretation acsac00 acsac05 airac algorithms alias_analysis andersen_analysis annotations archer astree bdd benchmark blast boon buffer_overflow ccs02 ccured cfl codesonar constraint_analysis context_insensitive context_sensitive control_flow_analysis coverity cqual cred cssv dataflow_analysis defects defect_search demand_driven dynamic_analysis esc extended_types field_sensitive findbugs flawfinder flow_insensitive flow_sensitive formal_semantics format_string fse04 function_pointers gcc gimple graphs hybrid_analysis idpt02 inconsistent_code introduction ipssa its4 java klocwork lclint linear_restrictions lint linux machine_learning mc meca memory_leak metrology model_checking modular_analysis mops ndss00 ndss04 null_pointer oink osdi00 path_sensitive pldi02 pldi03 pldi04 pldi07 polyspace popl05 popl07 popl08 popl95 prefix programming programming_languages race_condition rats review roi sas03 sas05 saturn search_report seminal shape_analysis side_effects slam slicing software_security sosp01 sosp04 soundness source_sink specification_mining splint ssa ssym98 stackguard static_analysis steensgaard_analysis summary_analysis survey symbolic_analysis tainted_buffer tainted_value templates testing textbooks thesis to_close tocttou tools toplas05 toplas07 typestate uno usage_warning_tools verification vulnerabilities vulnerability_exploitation warning_ranking

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.