Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck tags

All tags in srccheck library
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.