repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
list: add a comment about register_implications
2015-03-30
D
a
n Ca
r
pente
r
l
ist
:
add a comment
about register_impl
i
cations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
param_l
i
m
it:
handl
e
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
t
er
states:
whi
t
e space fi
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
con
d
itions: i
g
nore known/implied cond
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpen
t
er
strings: record str
i
n
g
assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
n
t
er
s
truct_
a
ssignment: save a lot more i
n
format
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
param_limit/
f
i
lter
:
fix a ty
p
e bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silva
n
J
egen
db:
A
v
o
id d
e
referen
c
i
n
g null p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpenter
compa
r
ison: handle canonical f
o
r loop
s
with variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparis
o
n: unsigned ca
n
not be less than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpente
r
flow:
set __cur
_
stmt
a
nd _
_
prev_stm
t
inside for lo
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpen
t
er
c
o
mparison
:
mer
g
ing eq
u
ival
e
nt sta
t
es is not
unde
f
i
n
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compariso
n
: fix an indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
penter
function_ho
o
ks: fix up db_comp
a
re_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
function_
h
ooks,
d
ebug: print im
p
ossible
r
e
turns
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
t
e
r
he
l
per: d
o
n't
s
trip
casti
n
g
in get_ar
r
ay_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
r
penter
links:
export merge_link_st
a
tes(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
helpe
r
: ma
k
e
expr_to_str()
p
rint force
d
casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpen
t
er
type:
m
a
ke type_to_str() return a sname()
buff
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification_hook
s
:
se
t
a
variable
a
s
m
o
d
ified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
user_data2: tag it i
f
a
funct
i
o
n sets parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
sta
c
k: cle
a
nup a function prot
o
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
ere
f
_che
c
k
:
ignore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpe
n
ter
type: make sv
a
l_type_max()
def
a
ult to "long l
o
ng"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan C
a
rpenter
type: don't re
t
u
r
n SYM_NODE
t
ypes from get_r
e
a
l_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arpenter
side
_
e
f
fects: the itera
t
e
_
a
ll
_
kinds() macro
has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carp
e
nter
unreachable: don't complain a
b
out iterate_all_kinds(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
D
an C
a
rpenter
f
low: fix "fo
o
+= !bar;" assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Da
n
Carpen
t
er
lib: handle -
f
unsigned-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpente
r
kernel
.
ignore_side_effec
t
s: add
some m
a
cros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
i
n
denting: al
l
ow "b
r
eak
;
case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
use
r
_
data2:
mark
sscanf(
)
o
u
tput as
user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carpenter
math, rl: fix handi
n
g division
involving negative numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an
Carpenter
sval: fi
x
sval_
b
inop_ov
e
r
f
lo
w
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
ter
precedence: complain about "foo << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
D
an C
a
rpenter
f
low: hand
l
e struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpent
e
r
esta
t
e: add a NULL c
h
eck
i
n es
t
ates
_
e
quiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
e
r
param
_
used: store w
h
e
n a pa
r
amete
r
is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpenter
extra: ig
n
ore
m
o
r
e __in_fake_ass
i
gn
d
at
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
co
m
p
a
rison: fix a cra
s
hing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carp
e
nter
type: add an e
x
pr_signed()
funct
i
on that
ma
t
ches expr_unsig
n
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Car
p
ent
e
r
smdb
.
py: add fu
n
ctio
n
s to sho
w
fun
c
tion
s
implementi
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Car
p
ent
e
r
ex
t
ra: hand
l
e
t
emporary s
h
ort
h
and po
i
nters
b
e
t
te
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
deref
e
r
e
nces_param: look for pointers used as a
n
a
r
r
ay
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
check_
i
ndenti
n
g
:
w
a
rn about missi
n
g curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_
c
le
a
red: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Ca
r
penter
vali
d
ation: correc
t
some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskin
e
n
build
:
allow use of PKG
_
CONFIG
t
o override
pkg-co
n
fi
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
rpenter
db:
build ind
e
xes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
a
rp
e
nter
slis
t
:
fix com
p
ile
b
reakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
e
r
k
ernel_printf: silence some fal
s
e positives using sm
a
tch_
s
tr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n
Carpente
r
strings: re
c
ord which strings are be
i
ng used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
enter
u
s
er_d
a
t
a
2:
t
urn on skb->
d
ata
t
ag
g
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
en
t
er
db: re
n
a
m
e FILTER
_
V
ALUE, LIMITED_VALUE, and ADDED_VAL
U
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpe
n
te
r
kernel_p
r
intf: silence som
e
"
struct s
o
ckaddr " f
a
l
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
a
rpente
r
type: add unions to type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_value
:
speed up
loading
t
he
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* r
e
tur
n
_c
a
s
t: complai
n
abou
t
return -
E
INVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
form
a
t_string: delete this because
c
heck_kernel_pr
i
n
t
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
arpe
n
ter
fu
n
ction_ho
o
ks: add some debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Ca
r
pent
e
r
extra: cleanu
p
d
b_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ext
r
a: separate PARAM_LIMIT
and PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
f
u
n
ction_hooks: don
'
t take a s
h
ort
c
ut for "needl
e
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: intr
o
du
c
e all
o
c_sta
t
e_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
math: hand
l
e
"
i
f (likely(
1
)) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math
:
fix/cleanup do_comparison
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
cappe
d
: don't record single
values a
s
capped
in
th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: exp
o
rt get_static_filter(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
us
e
r_data2: wrong par
a
m
eter
t
agged as us
e
r dat
a
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
r
o
senberg: delete
some
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: strip away
s
ome ca
s
ting (eliminates a
f
alse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg:
don't save unneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
buf_size: don't save us
e
les
s
information in
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpent
e
r
struct_assignment: ignore m
o
r
e
f
ak
e
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist: fix debug
g
ing outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpen
t
er
p
a
r
a
m_c
l
eared, rosenberg: add und
e
r
s
cored memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpent
e
r
param_filter/set: don't record fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rp
e
nter
slis
t
, debug
g
i
n
g
:
d
o
n
'
t pri
n
t ->possibl
e
list if the
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: add more
st
u
ff to
ignor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
db/r
e
loa
d
_partial
.
sh: cha
n
ge dat
a
b
a
s
e
info
for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan J
e
gen
Documen
t
ation fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
a
rpenter
k
ernel_pr
i
ntf: pu
t
lots
o
f single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
Carpen
t
er
Mer
g
e branch
'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villemoes
check_ke
r
nel_print
f
.
c
:
Allow const c
h
a
r[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus V
i
llemoes
check_kern
e
l_print
f
.
c: Handle 'fmt ?
:
"
defa
u
lt"'
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Vill
e
moes
c
h
e
ck_k
e
rnel_printf
.
c: Si
m
pli
f
y rec
u
rsive
call
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpe
n
ter
check
_
k
e
rnel_p
r
intf
.
c: Simplify recursive calli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
penter
ke
r
nel_printf: allow '\
b
' if it
'
s the f
i
r
s
t charac
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
validation/sm_rosenberg
.
c
:
d
on't pass an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
kernel
_
printf:
a
d
d some more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpent
e
r
kernel_printf: mo
v
e
a warnin
g
under
the --spammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: add some
q
uote
s
aroun
d
the fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
ke
r
ne_printf: '%pb' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Vill
e
mo
e
s
check_ker
n
e
l_printf
.
c: Fix brai
n
o
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemoes
check_
k
ernel_pri
n
t
f
.
c
:
S
t
rip parentheses
commit
|
commitdiff
|
tree
2015-02-11
R
asm
u
s Vi
l
lemoes
check_kern
e
l
_pr
i
ntf
.
c: Handle c
o
nd
i
tion
a
ls
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Check the kernel's
%p format exte
n
sions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
smatch: Add --enable
opt
i
on
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
smatch: Imple
m
en
t
-
-show-ch
e
c
ks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
illemoes
smatch: Add dummy element to reg_funcs
commit
|
commitdiff
|
tree
next